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

Last change on this file since 644 was 644, checked in by mulligan, 9 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.