source: Deliverables/D4.1/Demo-March-2011/Demo.hex @ 644

Last change on this file since 644 was 644, checked in by mulligan, 10 years ago

Committed files for demo on Friday. Binary search works with O'Caml emulator. Need to check with submitted version of Matita emulator.

File size: 1.2 KB
Line 
1:1000000002000812010880FE7581111201AEE5821E
2:0E00100060030200037900E94400601B7A00DF
3:10001E009001B2780075A000E493F2A308B8000234
4:0F002E0005A0D9F4DAF275A0FFE478FFF6D8FD4B
5:0F003D007800E84400600A790075A000E4F30938
6:10004C00D8FC7800E84400600C7900900000E4F0E3
7:10005C00A3D8FCD9FA020003AA82AB83ACF07D00D2
8:0F006C00E50814F50AC3E50A64808DF063F0809F
9:10007B0095F05003020104E50AFF3395E0F8EDF922
10:10008B003395E0FEE92FF582EE38F583751002E427
11:0F009B00F511C002C003C004C005120176AE8289
12:1000AA00D005D004D003D002EE2AFFE43BF88C013D
13:1000BA008F82888389F012015AFFB509038E822242
14:1000CA00C3E50964808FF063F08095F05004EE1464
15:1000DA00F50AEE2AFFE43BF88C018F82888389F0C7
16:0F00EA0012015AFFC364808509F063F08095F01E
17:0F00F9004003020071EE04FD0200717582FF22C8
18:0F010800750B00750C12750D17750E39750F7884
19:0F01170075080575091A90000B75F04012006409
20:10012600E582FA3395E08A82F583227A10E4FBFCB5
21:10013600E58225E0F582E58333F583EB33FBEC338B
22:0E014600FCEB9510F5F0EC95114006FCABF0CB
23:10015400438201DADD2220F71430F6148883A88262
24:1001640020F507E6A88375830022E280F7E4932252
25:0F017400E022C2D5E58330E70DD2D5E4C39582F2
26:10018300F582E49583F583E51130E70DB2D5E4C339
27:100193009510F510E49511F51112013130D50BE4EA
28:0F01A300C39582F582E49583F58322758200224D
29:00000001FF
Note: See TracBrowser for help on using the repository browser.