%%HP:T(1);
@ BMXL.LIB, Binary Matrix Algebra Library, by Gadiel Seroussi
"04B20EA120B124D485C402022496E616279702D416472796870214C676562627
16B122593F100000094E10C7D008225810D9D2066226CB9162AC818813017040
2CE30A1626476269FF3032230F851132230CCD20870008F146601001438FB976
0131203447A201451101748A8C234E4A201451743451000145174AF2155717FC
C64DF34B21301458F2D760142164808CB21308225910D9D20881309805096126
8DA16D9D20AEC813223035150B2130D9D207A726B765032230B21302C230ADB4
638D30EF1166AC3057B30CB9162AC81CCD20380001438FB976013016420D1E51
4234B21308A2C334E4A208A602D116414234510008A62116E1656ACFE56D0081
8F116300D4100208F2D7608F73560142164808C7CC30CB9162AC81B21308225A
10D9D2075660881307566059230CCD20CF1008F14660102143100174143101E7
8FB9760118EA10320111131174AF1B7514334B21308A261179AF91557A7517F6
0EFAF1B75118818F24108134AF212AD713613413514234B21308A6606B018AF6
062011438A6606DE017915370E7097CC017E1706DDF169152715771547151713
6109113C2134137C2135152715771547151711913411A0E7D10A11813514334B
21308A2E61791371351321308A20515770E7597A34152715777D801557137061
13C213513606C21341577152776601557071340713517E170688F16E160A75CF
6FDE11AAF097A21808A040E481E6EEF1008F2D7608F735608FB97601122F8FD6
9501090E721290E7A121B721210132230B21308225B10D9D202C230B765029E2
0225810CAF06CCD208E000143818F04100174143101174143818F318FB976011
9EA103818F241352014334B21308A2B61791577AF111013014212934B21308A2
42129169808A0A01527734081E16E1606FCF13710A113C2135AF9155711A1351
7E1706B8F8F2D760142164808CAFC1010E701210E78129B7A129AFC01B213082
25C10D9D201192010500E0D401DE40B2130CCD203D00014381AF00174E7143E7
1748FB9760132164146164818FA580D0AF01521AF881AF1013016420AF3AF0E4
14234B21308A2F5164146164818FA580D0AF01521AFC808605281AF0AAFFAF70
E75AFF0E7DB7BAFF81AF1AAFC81D20132CAE4132679FAFBAFA2F8FD69508225E
10D9D2032230ADB46F5636CB9162AC81FBD8132230FA450FED3095450B213082
25F10D9D2088130B7650D803629E20225810CAF06CCD207D000143100174E78F
1466081AF011438FB976081AF21120130164119818F2E81AF0920AF1B7514234
B21308A2C6164146164818FA580D0AF0152110A81AF18D781AF191358AB32157
78086050A79155781C17E17ACF6DDF11A20132CAE4132A756A8F8F2D76014216
4808CB21308225020D9D208813067654CAF06CCD20070008F146601008FD8F35
201018F2D760147818F2913581AF10D8119AF78A902310382281F83250B6614D
171CD60EF8F2D760142164808CB21308225120D9D2013236881301962617040C
BD30C1216F6E30F6E30AE526F8511C1216C2A209100003132333435363738393
9BC26391509BC263915039150391509404067654FD550530403C370122704E76
1EF116391503915043370B9F0659230FED300831695236CAF069523608F11EF1
1635040B20409761108F112C23035040FEF309761162D250D470E0416FA450D7
ED5442307E3163C37012270881304E761C2A2070000C73915068656592303504
04EC308DA16B525044230322308341629E202250203915008F116B316FEF3012
2701962617040CBD309761143370834166B3167947056621756603223049F21F
304076040BBF06F6E30F6E3094040CBD3076040AEA059E5500F2E149F21B2130
8225220D9D20E4A2051000000000000000000075660322302CFA2CCD20900007
5A09F3452CFA2CCD20900007D809F345CCD204B0008F77F352010110A8F2D760
8F146601031438FB9760131179119112BF0BF0BF0BF0BF0BF0A72113AF3B778A
8B0A77CC65FFA7F0E7715578F2D760142164808C1471331001351741577AB080
8212105A320414511013368CFB21308225320D9D20FED306B650A21702AC81B2
130CCD20A40008F146601008FD8F35118D7F7819F3819F38AB90AF061108AAB0
A74CE65FF2F8FD6950CCD20A40008F146601008FD8F35118D7F7819F3819F38A
B90AF061108AAB081CCE65FF2F8FD69508225620D9D20FA4505C2268DA16D9D2
07A7260CA30B2130D9D203004091D3088130A21702AC81B2130CAF06D9D20D9F
81990407F491B2130B21308225720D9D2032230E4A206000011BF2640D355923
00831629E20225420CAF0629E20225420E4D355923040D3551D35B2130822582
0D9D2059230FED30CA1306B650A21702AC814423033F06E901600CD1B2130CCD
20940008F77F35AF1AF3B7797A72808A06180860C0AFD0E7FAFDA7781C81E69D
FAF48FD69508225A20D9D20E16323392030000000000413108441293632B2130
3392000000000000008108225710D9D20ECE8112040D9D2029E20225910B9F06
B2130B21308225610D9D20ECE8112040D9D208813098050961268DA16D9D20AE
C81322303515088130B7650B2130D9D207A726B765008316B2130EF116ADB463
8D30C12166AC3057B302C2306AC3057B30CB9162AC8129E2022581032230CCD2
03B000143100174E71438FB976013117E118134164D12014234B21308A2A534E
4A208A6C4164146818FA546380824F00008B2E280D0164AF2156115571368091
3417917F63AF16462FFE5D4100208F2D7608F73560142164808C7CC30CB9162A
C8129E20225E10B2130B21308225510D9D20B5A8196126CB9169F3452BF81119
20B1B00D9D2032230AEC8129E20225720B213011920B1500D9D2032230AEC815
923029E2022591029E2022582029E20225E10B213011920B5500D9D20CAF0629
E20225620BBF0629E2022591009C3638D30A21702AC818DF068DA16D9D208813
0C121629E20225320200162001629E20225720E901629E2022582029E20225E1
0B2130D9D2029E20225F1012F0629E2022582029E20225F1029E20225E10B213
0B2130B21308225410D9D20FDE814CD46D9D20AEC8129E20225520E4A2060000
140D35D5345B2130E3C46D9D20AEC813223029E20225910B482629E20225320B
213066C46D9D2029E20225620BBF0629E2022591009C3638D30A21702AC818DF
068DA16D9D20B482629E202253203223029E20225520E4A2060000140D35D534
5B2130D9D2029E20225F10A21163223029E20225320B2130B2130B2130822531
0D9D20ECE8112040D9D2029E20225910B7650B05919B136B2130B21308225210
D9D20ECE8112040D9D2029E2022591074726EF11629E20225A10592308DF0629
E20225B10C1216592300ED30E901645C3629E2022581051036CCD207F0008F14
6601008FD8F35201021038F2D760143104174E71438FB9760131174114130164
AF2B7610C11806078AE606780CE0617911282281C10283260641011C1557A761
0C6350169AF11527118D7AF2B7610911B8AB82CF808B0511298086050A71A761
2981C81E68DF16FAF4151717F647F8F2D760142164808C29E20225E10B2130B2
1308225110D9D20ECE8112040D9D2029E2022591029E20225A10FBD8157726B7
6503223029E20225E10CAF06B2130B21308225010D9D20FDE8148C46D9D201BF
2629E202259109901629E20225A10442307EE0629E202259203223029E20225D
101BF2629E20225D105923079B30A2170D9D201192040300E0D401DE40B2130B
2130B21308225F00D9D20ECE8112040D9D2029E2022591029E20225A10A2116F
BD81B2130B21308225E00D9D20FDE81119205B000D9D2029E2022591029E2022
5F10B9F0629E20225D10B2130B21308225D00D9D20FDE8148C46D9D203223029
E20225910B9F0629E20225D10B2130B21308225C00D9D20ECE8112040D9D2029
E2022591029E20225F1029E20225E10B2130B21308225B00D9D20ECE8112040D
9D2029E2022591013D26CA130B7650E4D30CB91629E20225C1029E20225A10B9
F06CAF0613D2629E20225E10CAF06D2C269FF3053526FBD81B2130B21308225A
00D9D20FDE8166C46D9D2029E202259105923029E2022591088130B76508DF06
E4D30CB91629E20225C107EE0629E20225B1029E20225E10B2130B2130822590
0D9D20FDE8166C46D9D2029E20225910756605923029E20225910C7C36E4D302
C230B7650C1216B7650E4D3057B30CB91629E20225C10CCD20E8000143100174
143101818F308FB9760119818F24135110818F041302014334B21308A2221791
57716915277F10155717F16F64DF8F2D760142164808CAF70E72AFF0E7AB7B01
29E20225E10B2130B21308225800D9D20ECE8171040D9D2088130B3226A21702
BC81881308A753A217076E2629E2022581059230CCD203C00014310017414310
1E78FB976011813416E142CC8ACA0D1E56B00164142D816414681AF0A1641198
18F2E109AF2B7610B8A9B411913511AD78ABC215279781111315770E7A155716
E16017E17ACF64DF113A74103CD65BF8F2D760142164808C29E20225E10B2130
B21308225700D9D20ECE8112040D9D2029E2022591088130B76507EE069B1364
B2A22443032230CB2A1CCD209B000143101174143100E78FB976011813416E14
2CC8ACA0D1E56B00164142D816414681AF0A164119818F2E1092E8A964119135
11AD78AB031577808A0C0AF0B04150781E155716E16017E17ACF60DFCD6ABF20
8F2D760142164808CB2130B21308225600D9D20FDE814CD46D9D20AEC812C230
DEE3229E20225120B2130B21308225500D9D20ECE8112040D9D208813029E202
2591029E20225120B2130B21308225400D9D20ECE8112040D9D208813029E202
2591029E20225F1029E20225120B2130B21308225300D9D20ECE819FF30D9D20
AEC8129E20225220B213012040D9D2029E2022562012F0679E6003D43881309B
1360D4706B3164D226CB916D9D203C3707E31629E20225220433706B316B2130
954507E3163223029E20225E1079470B2130B21308225200D9D20ECE819FF30D
9D20AEC818813029E2022581029E20225E10B213012040D9D2029E2022562012
F0629E2022581029E20225E10B2130B21308225100D9D20ECE819FF30D9D20AE
C819BC2629E2022581032230CCD20650008F1466081AF011438FB976013016E1
11D8AF0B748A951150716F169A74CD6BEF8F2D760142164808C29E20225E10B2
130B21308225000D9D20E1A81CA031FC2E4C2A2013000A2A2A2A2A2A2A20224D
485C402A2A2A2A2A2A2A2A2A2B5421C2A20F20002496E616279702D416472796
870214C67656262716B7421C2A20F100002020202C4962627162797026529E20
225B208B26139150B9421C2A20130009A0213939313027416469656C60235562
7F657373796BB421F2293B2130E4A201E000BEEFF14EFF2CDFF9FCFF9ACFF46C
FF02CFF50BFF0D9FF0B8FFC28FF597FFA47FF007FFBA6FF166FF5B5FF155FF2C
3FFE73FFA42FF2D0FFF3FEF50FEF641EFB02EFC13EF245EF556EFE66EF847EF6
87EFD88EFD19EF93BEF25CEFB6CEF5BCEF60DEF67DEF5DDEFC0EEFC5EEF58EEF
E4A20A2200000000000000000640007F000C4100000005710000000000000000
00000000000000000000000000D510040249444E4100402445F4D470040D445F
42480040241444449004024D485D4A00402494E465B00402445D485C004024D4
8565D0040246585D4E00402425E4B4F004024E455C4210402474544541040240
5554551040246494856105024A55425F420050242514E444300502435F4C4650
1050247414553511050244494D4353105024452594D47106024D43584F475400
6024453584F4755006024653584F475600801424F4554524D48500051000D510
0CA0002A000C50000500044000E610066100E510065100E410064100E3100631
00E21004D000AC000031005C000D210052100D1100AC00093790212"