• proof.html
• proof-1.jad (MIDP 1.0)
• proof-1.jar (44kb)
• proof-2.jad (MIDP 2.0)
• proof-2.jar (38kb)