LC8 ٫Mֶ"&Sœ C.drectveH .cil$fgL@@.cil$gl"N@@.cil$inp!@@.cil$ex,#@@.cil$sy@@ -compiler:"C:\Program Files\Microsoft Visual Studio 8\VC\bin\c2.dll" -fc:\Documents and Settings\Ken Friis Larsen\My Documents\buddy24\src\reorder.c-Gs4096-dos-GS-Og-Ob1-EHs-MT-Gy-Foc:\Documents and Settings\Ken Friis Larsen\My Documents\buddy24\Release\reorder.obj-Fd.\Release/vc80.idb-W3-errorreport:prompt#12'V *+,c:\program files\microsoft visual studio 8\vc\include\sal.hc:\program files\microsoft visual studio 8\vc\include\vadefs.hc:\program files\microsoft visual studio 8\vc\include\crtdefs.hc:\program files\microsoft visual studio 8\vc\include\limits.hc:\program files\microsoft visual studio 8\vc\include\stdlib.hc:\program files\microsoft visual studio 8\vc\include\string.h c:\program files\microsoft visual studio 8\vc\include\time.h c:\program files\microsoft visual studio 8\vc\include\wtime.inl c:\program files\microsoft visual studio 8\vc\include\time.inl c:\program files\microsoft visual studio 8\vc\include\math.h c:\program files\microsoft visual studio 8\vc\include\assert.h c:\documents and settings\ken friis larsen\my documents\buddy24\src\kernel.h c:\program files\microsoft visual studio 8\vc\include\setjmp.h c:\program files\microsoft visual studio 8\vc\include\stdio.hc:\program files\microsoft visual studio 8\vc\include\swprintf.inl c:\documents and settings\ken friis larsen\my documents\buddy24\include\bdd.hc:\documents and settings\ken friis larsen\my documents\buddy24\src\bddtree.hc:\documents and settings\ken friis larsen\my documents\buddy24\src\imatrix.hc:\documents and settings\ken friis larsen\my documents\buddy24\src\prime.h%??_C@_0BG@NDLJGPPF@Win2?5start?3?5?$CFd?5nodes?6?$AA@%%??_C@_01LFCBOECM@?4?$AA@%%??_C@_0BF@MFOMNKAD@?6Win2?5end?3?5?$CFd?5nodes?6?$AA@%)%??_C@_0BJ@HELEPILB@Win2ite?5start?3?5?$CFd?5nodes?6?$AA@%7%??_C@_0L@KNFANJKG@?5?$CFd?5nodes?6?$AA@ %a%??_C@_0BG@EFLOPKN@Win3?5start?3?5?$CFd?5nodes?6?$AA@%h%??_C@_0BF@ECEKBBEA@?6Win3?5end?3?5?$CFd?5nodes?6?$AA@%s%??_C@_0BJ@GDJMJMHB@Win3ite?5start?3?5?$CFd?5nodes?6?$AA@%%??_C@_0BH@COGJKBFJ@Win3ite?5end?3?5?$CFd?5nodes?6?$AA@%%??_C@_01JOAMLHOP@?9?$AA@%%??_C@_01MIFGBAGJ@?$CL?$AA@%%??_C@_01DCLJPIOD@?$CB?$AA@%%??_C@_05IIDEHNMI@Sift?5?$AA@%%??_C@_02DPKJAMEF@?$CFd?$AA@%%??_C@_02LMMGGCAJ@?3?5?$AA@%%??_C@_0M@NPPACPBG@?6?$DO?5?$CFd?5nodes?$AA@ %%??_C@_0N@CDGAEBBD@?5?$CI?$CF?41f?5sec?$CJ?6?$AA@ % %??_C@_0M@KDIJOJGA@Reorder?5?$CFd?6?$AA@ %*%??_C@_0BI@NKCEKDEH@Random?5order?3?5?$CFd?5nodes?6?$AA@%c:\documents and settings\ken friis larsen\my documents\buddy24\src\reorder.c;%??_C@_0BC@KMJMHIMB@Start?5reordering?6?$AA@%?%??_C@_0DF@BLCLHDLJ@End?5reordering?4?5Went?5from?5?$CFd?5to?5@5% %??_C@_00CNPNBAHC@?$AA@% %??_C@_03HIJPJGOM@?$CF?$CKs?$AA@% %??_C@_03GOOLIKIF@?$CF3d?$AA@%%??_C@_02KCPFEJNG@?$HL?6?$AA@%%??_C@_02KGHIDFGE@?$HN?6?$AA@%%??_C@_01EEMJAFIK@?6?$AA@%bdd_reorder_init t9h ))7bdd_reorder_done=hz reorder_win2H    reorder_win2ite3H   )7<reorder_swapwin35H  Zreorder_win3'X~H   <ahkreorder_win3ite5*H   7<sreorder_sift_bestpos-H   K Lreorder_sift_seqS4$ H   siftTestCmp 7 6Hreorder_sift8m H #reorder_siftite<e GH   reorder_randomj> H # *blockdownA HQaddref_reccHHMNXaddDependenciesKWHNdmark_rootsGM2H #JMNRXXreorder_gbc8RHJMreorder_setLevellookup@UoHJNreorder_rehashAll7WPHJMreorder_makenodewZH IMX^reorder_downSimpleaHMQRreorder_swapdHMQRreorder_localGbck-HM QRreorder_varupgp=HNQRXreorder_vardownq#H NQRXbdd_swapvar thNQXbdd_default_reohandler w[?h  8;?5bdd_disable_reorder :yh3bdd_enable_reorder yhbdd_reorder_readyLz!hbdd_reorder_auto({1hreorder_initH| bH#Ndreorder_done'~QH XJMQjvarseqCmp ݀6HQvreorder_blockH   Zk jvbdd_reorder @h FJvbdd_reorder_gain Ehbdd_reorder_hook qZh$bdd_blockfile_hook #h&bdd_autoreorder Պh)bdd_autoreorder_times h+bdd_var2level a>%hNQX-bdd_level2var Am%hNRX/bdd_getreorder_times !h1bdd_getreorder_method h7bdd_reorder_verbose 3hbdd_reorder_probe hbdd_clrvarblocks $hbdd_addvarblock s1h\X bdd_intaddvarblock JhNX"bdd_varblockall ~&h N;bdd_printorder ch =9bdd_setvarorder PhNQXprint_order_recAH     =bdd_fprintorder h$iactmtxbddtree_neww _time64T _difftime64$vartree$usednum_afteri _localtime64$extrootsimatrixSetLbddmaxnodeincreaseRbddlevel2var)bdd_getnodenum ^ _ctime64_sXbdd_gbcbddtree_addrange _wctime64_s$levels$reorder_filehandler$reorder_nodenum$extrootsizebddtree_delbdd_pairs_vardownXbdd_errorrand clock fprintf@bdd_prime_lte^bdd_noderesizebddfreenum printf@imatrixDepends8$?c1@?1??bdd_default_reohandler@@9@9#_vswprintf_c_lQbddvar2levelJbddnodesize$bddreordermethodMbddnodes$strnlenimatrixDeleteNbddvarnum\bdd_scansetimatrixNewKbddmaxnodesize fflushbddproduced __iob_func _wctime64$verbose$reorderdisabled$blockid wcsnlenn _localtime64_s#malloc$resizedInMakenode$bddreordertimesIbdderrorcondqsort freebddfreepost _mkgmtime64$usednum_beforea _gmtime64W _ctime64Fbdd_varnum$reorder_handlerf _gmtime64_szbdd_operator_resetq _mktime64 Win2 start: %d nodes . Win2 end: %d nodes )Win2ite start: %d nodes 7 %d nodes aWin3 start: %d nodes h Win3 end: %d nodes sWin3ite start: %d nodes Win3ite end: %d nodes -+!Sift %d:  > %d nodes (%.1f sec)   Reorder %d *Random order: %d nodes ;Start reordering ?5End reordering. Went from %d to %d nodes (%.1f sec)   %*s %3d{ }  [@ OOOOOO;OOOOOOOOOOOOOOO%OOOOOOO OOTO# & HV ex ~    SS&)F-'-%LSOU&$>B'BUB%CUCLAB:*OVT)*GTTOO OOO# & HV ex ~    SS& F- - LSO& >B BUB CUCLAB: OT) GTTOO&O OOO OO OOO O O/O# & HV ex ~    ( SS& F- LSO2& >C CUCLAC: O4T) GTTOO O O7O# & HV ex ~    ( SS& F- - - LSO8& >A CUC BUB CUCLAA: O9T) GTTO OO OOO O OUO# & HV ex ~    SS& F- - LSOV&T > U ULA: OWT) GTTOO O OYO# & HV ex ~    SS& F- LSO\&W >C CUCLAC: O^T) GTTOO O OaO# & HV ex ~    SS& F- - - LSOb&^ >A CUC BUB CUCLAA: OcT) GTTOO O OfO# & HV ex ~    SS& F- LSOi&a >C CUCLAC: OkT) GTTOO O OnO# & HV ex ~    SS& F- - LSOo&f >A CUC CUCLAA: OpT) GTTOO O OsO# & HV ex ~    SS& F- LSOv&i >C CUCLAC: OxT) GTTOO O OzO# & HV ex ~    SS& F- - LSO{&n >A CUC CUCLAA: O|T) GTTOO O O~O# & HV ex ~    SS& F- LSO&q > CUCLA: OT) GTTOO O OO# & HV ex ~    SS& F- LSO&t > CUCLA: OT) GTTOO O OO# & HV ex ~    SS& F- LSO&w > CUCLA: OT) GTTO OOO'O OOO OOO(O OOO OOO)O OO OO OO O,O OO OO OOOOO OO%O# & HV ] ex ~    SS&F---LSO&O'O(&&,C3B2CKO)&&#>ACUC3CUCCUCBUBCUCL2AKO*&3C2CKO+AAA:O,T)GTTOO OO2O# & HV ex ~    SS&F----LSO3&#>ACUC3CUCCUCBUBCUCLAA:O4T)GTTOO OO=O# & HV ] ex ~    SS&F----LSO>O?O@&&,C3B2CKOA&&#>ACUCCUCCUCBUBCUCL2AKOB&3C2CKOCAAA:ODT)GTTOO OOJO# & HV ex ~    SS&F-----LSOK&#>ACUCCUCCUCBUBCUCLAA:OLT)GTTO OO O0O O-OO*OOOO+OOOO,OOOO-OO OOO# & HV ex ~    SS&FLSO&3A2AKO&3C2CKO&>LKO&>C&UCLKO&7>A3AUALKO&)>A3AUA3AUALKO&&)2CKO&&3A2A2AKO&3A2AKOT)GTTOO OOO# & HV ex ~    SS&FLSO&>CUCLKO&z>LKO&3C2CKOT)GTTOO OOO# & HV ex ~    SS& F-LSO& C2CK& C2CKOC3C8OCAC: O)A3A$8O& >AC>ALU&UCLKO)& >A& >CL3A (UCLKO) C3A'C0C3C 8OSO&C>AL2AKO&> CUCLKOAC>AL"8OSO&> C3A'C0CUCLKO&  C3A'C0C2CKOTO:)O C C8O&  C3A'C0C2CKO))A3A$8OSO& >A&UCLKO& >A& >CL3A (UCLKOTO)T:)OA3A$8O& >AC>ALU&UCLKO)& >A& >CL3A (UCLKO CAC: OT) GTTOO OOO# & HV ex ~    SS& F-LSO&#C2CKOO&%3A2AKOC3C8'OCAC:!O)'A3A$8(O& >AC>ALU&)UCLKO)()*OSO&$C>AL2AKO&"C2CKO)/"C3A'C0C3C 80OSO&1C>AL2AKO&>"CUCLKO1AC>AL"82OSO&>"C3A'C0CUCLKO&""C3A'C0C2CKOTO:3)2O#C"C84O&#"C3A'C0C2CKO)4)3A3A$85OSO& >A&UCLKO& >A& >CL3A (UCLKOTO)5T:/)0OA3A$86O& >AC>ALU&7UCLKO)6&%3A5AKOTO)+C>AL$A 9*),O#CAC:!OT)!GTTOO OOO# & HV ex ~    SS&<F-:-8LSO&>8C3A'C0C3C3A3ACB2AKO&@8C2CKO&AC>AL2AKO 8C3A'C0C3A'C0C3C8CO SO &>8CUCLKOAAC>AL"8DOSO&>8C3A'C0CUCLKO&@8C3A'C0C2CKOTO:E)DOSO&@8C2CKO>A8FO:C8C3A'C0C2CKO)FT)EOTO:G)COSO&H3A2AKOO&>8CUCLKOO &H3A5AKO!AAC>AL$8IO"SO#O$&H3A2AKO%&AC>AL2AKO&TO()I&>8CUCLKO)O*&H3A5AKO+AAC>AL$8JO,SO-O.&H3A2AKO/&AC>AL2AKO0TO2)J&88C3A'C0C3A'C0C2CKO3&>8CUCLKO4O5&H3A5AKO6AAC>AL$8KO7SO8O9&H3A2AKO:&AC>AL2AKO;TO=)K&>8CUCLKO>O?&H3A5AKO@AAC>AL$8LOASOBOC&H3A2AKOD&AC>AL2AKOETOG)L&88C3A'C0C3A'C0C2CKOH&>8CUCLKOIOJ&H3A5AKOKAAC>AL$8MOLSOMON&H3A2AKOO&AC>AL2AKOPTOR)MOTHA3A#8NOUSOV&88C3A'C0C2CKOW&>8CUCLKOX&@8C2CKOY>A8OOZ:C8C3A'C0C2CKO[)OO\TO^)NHA3A#8PO_SO`&>8CUCLKOa&@8C3A'C0C2CKOb>A8QOc:C8C3A'C0C3A'C0C2CKOd)QOeTOg)PHA3A#8ROhSOi&88C3A'C0C3A'C0C2CKOj&>8CUCLKOk&@8C2CKOl>A8SOm:C8C3A'C0C2CKOn)SOoTOq)RHA3A#8TOrSOs&>8CUCLKOt&@8C3A'C0C2CKOu>A8UOv:C8C3A'C0C3A'C0C2CKOw)UOxTOz)THA3A#8VO{SO|&88C3A'C0C3A'C0C2CKO}&>8CUCLKO~&@8C2CKO>A8WO:C8C3A'C0C2CKO)WOTO)VOT)GO@CAC:=OT)=GTTOO OOO# & HV ex ~    SS&ZF-XLSO&\XC2CK&]XC2CKOXC3C8_OXCAC:[O)_A3A$8`O& >AC>ALU&aUCLKO)`& >A& >CL3A (UCLKO)d\C3A'C0C3C 8eOSO&\&<>C&]UC\CUCL2CKOA3A$8fOSO& >A&UCLKO& >A& >CL3A (UCLKOTO)fT:d)eOA3A$8gO& >AC>ALU&hUCLKO)g& >A& >CL3A (UCLKO]CAC:[OT)[GTTOO OOO# & HV ex ~    SS&kF-iLSO&miC2CK&niC2CKOOiC3C8qOiCAC:lO)qA3A$8rO& >AC>ALU&sUCLKO)r)tOSO&oC>AL2AKO&mnC2CKO)zmC3A'C0C3C 8{mC3A'C0C3A'C0C3C 8{OSO&m&<>C&nUCmCUCL2CKOA3A$8|OSO& >A&UCLKO& >A& >CL3A (UCLKOTO)|T:z){OA3A$8}O& >AC>ALU&7UCLKO)}TO)uC>ALoA 9t)vOA3A$8~O& >AC>ALU&UCLKO)~nCAC:lOT)lGTTOO OOO# & HV ex ~    SS&F--LSO&C>AL2AKOO&3A2AKO&3A2AKOOKA3A$8O&A3AAKALA3A"A3AAKALA3ACB2AKO:)O&A3AA2AK)OC3A'C0AA$8O&3A2AKO)&3A2AK:)&3A5AK)A3A"8OSO&3A2AKOA8OSOO)C3A'C0C3C 8C>ALA!9A8)OSO&3A2AKO&>C3A'C0CUCLKO&3A6AKOA3A$8OSO& >A&UCLKO& >A& >CL3A (UCLKOTO)C>ALA"8OSO&C>AL2AKO&3A2AKOKA3A$8OO&A3AAKALA3A"A3AAKALA3ACB2AKO:)O&A3AA2AK)OTO)T:)OTO:)OSOO )C3A'C0C3C 8C>ALA!9A8)O SO &3A2AKO &>CUCLKO &3A5AKOA3A$8OSO& >A&UCLKO& >A& >CL3A (UCLKOTO)C>ALA"8OSO&C>AL2AKO&3A2AKOKA3A$8OO&A3AAKALA3A"A3AAKALA3ACB2AKO:)O&A3AA2AK)OTO )T:)O!T)O#C>ALA$8A3A$8O$SO%& >A&UCLKO&& >A& >CL3A (UCLKO'TO))&A2AKO*T:)O-)A3A"8O.SO/&>CUCLKO0&3A5AKO1T:)O2)A3A$8O3SO4&>C3A'C0CUCLKO5&3A6AKO6T:)O7T)GTTOO OO>O# & HV ex ~    SS&F---LSO?O@OBC3C8OCCAC:OE)&3A2AK:)&3A5AK)AA"8OFSOG&& >AL2AKOIA3A$8OJSOK& >A&UCLKOLC8OMC>CA3A(0C3A'C0AUA& >CL3A (UCLKON:)OO& >ACA3A(0C3A'C0AU&UCLK)OP& >A&UCLKOQTOS)&>A3AUACA3A(0CUCLKOUA3A$8OV& >AC>ALU&UCLKOX)&& >AL2AKOYA3A$8OZ& >AAA,E3@@U&UCLKO[)T:)O^&C2CK:)&C3A'C0C2CK)C3A'C0C3C 8O_:)OaCAC:ObT)GTTOO OOhO# & HV ex ~    SS&F--LSOi&C,C2CKOj&C,C2CKOlC3A'C0AC3A'C0A"8Om3AAA:On)C3A'C0AC3A'C0A$8Oo3AAA:Op)3AAA:OqT)GTTOO OOwO# & HV ex ~    SS&F-LSOxOyOzO|&C2C&3A2ADK:)&C3A'C0C2CK)C3C 8O}C3A'C&3A5A2AK:)O&&#>C3BAUBL,C2C3C8OCAC:O)&&#>C3BAUBL,C2C3C8OSO& >CUCLKOCAC:OTO)&C2C&3A2ADK:)&C3A'C0C2C&3A5ADK)C3C 8OSOOCA3A(3A'C3A2AKO&C3A'C0A2AK:)&3A5AK)AC3A'C0A!8OCA3A(3A'CCA3A(3A 'C0AAK:)OCA3A(3A'CC2CKOT:)O&>&UC3BUBAUBCUCLKO&3A2AK:)&3A5AK)AA"8OCA3A(CA3A(3A'C0C2CK:)O&&>CAUACUCCUCL2CKO& >CUCLKO& >CUCLKOCAC:OT)GTTOO OOO# & HV ex ~    SS&F-LSO&C2CKOO&3A2AKOC3C8OCAC:O))OSOA3A$8 O& >A&3A5AU& UCLKO) &C>AL2AKO&&>CCUCL2CKOTO)C>ALA 9)OCAC:OT)GTTOO OOO# & HV ex ~    SS& F- LSOOO&3A2AKO C3C8O CAC:O)& C2CK:)&C3A'C0C2CK)C3C 8O&3A5AK:)O&&#>C3BAUBL,C2CKO& C2C&3A2ADK:)&C3A'C0C2CK)C3C 8OC&3A5A3A(C2CK:)O&3A2AK:) &3A5AK)A3AA"8!OSO&"&>ALA2AKOC"A3A(0C3A'C0C3C 8$O&>C"A3A(0CUCLKO)$T: )!O& C2CK:&)'&C3A'C0C2CK)&C3A'C0C3C 8(O:')(O& >CUCLKOA8)O& >AC>ALU&*UCLKO))CAC:OT)GTTOO OOO# & HV ex ~    SS&F-+LSO&.+C3A'C0C2CKOO&0+C3A'C0A+C3A'C0A2AKO&1.C3A'C0A.C3A'C0A2AKO&2QC+C3A 'C0C3A(0A3A(0A2AKO&3+C3A 'C0C2CKO&4.C3A 'C0C2CKO)6QC3C3A(0A3A(0AQC4C1A3A(0A3A(0A"87OSO&/3A2AK:8)9&/3A5AK)8/A0A"8:OSOOQC3C/A3A(0A3A(0A3AQC3C/A3A3A(0A3A(0A 8;QC3C/A3A(0A3A(0AQC4C1A3A(0A3A(0A"8;OSO&>A3C/A3A(0AUALKOTO);T:9):OQC3C0A3A(0A3A(0AQC4C1A3A(0A3A(0A"8<OSO&>A3C0A3A(0AUALKOTO)<T:6)7O)>QC4C3A(0A3A(0A2A$8?OSO&/1A2AK:@)A&/3A6AK)@/A3A$8BOSOOQC4C/A3A(0A3A(0A3AQC4C/A3A3A(0A3A(0A 8CQC4C/A3A(0A3A(0A2A$8COSO &>A4C/A3A(0AUALKO TO )CT:A)BO QC4C3A(0A3A(0A2A$8DO&>A4C3A(0AUALKO)DT:>)?O+C3A'C.C3A'C0C2CKO.C3A'C+C3A'C0C2CKO+C3A'C.C2CKO.C3A'C+C2CKO.C3A'C0C3C 8FO.C3A'C0C3A'C.C2CKO)F+C3A'C0C3C 8HO+C3A'C0C3A'C+C2CKO)H&/+C3A'C0A2AKO+C3A'C.C3A'C0A2AKO.C3A'C/A2AKOT)-GTTOO OO+O# & HV ex ~    SS&F-K-ILSO,IA3A"8NO-:MO/)NMCIA3A(3A'C3A3A C70B3A8OO0SO1&3A6AKO4KCMCIA3A(3A'C3A 3AC70B3A 3A(3A2KO7CMCIA3A(3A'C3A 3AC70B3A 3A(3A 'C3A5AKO9&>KCUCMCIA3A(3A'C0AUALKO:&>KCUCMCIA3A(3A'C0AUALKO;TO<:P)OO=SO>OB&Q3A2AK:R)S&Q3A5AK)RQANA"8TOCKCQA3A(&>AQAUAMCIA3A(3A'C3A 3AC70B3A UACUCLK:S)TODT)POFMCIA3A(3A'C3A3A C70B3A"8UMCIA3A(3A'C3A3A C73B5BKOG)UT)MGTTOO OOKO# & HV ex ~    SS&XF-VLSOLON&Z3A2AK:\)]&Z3A5AK)\ZANA"8^OOSOP&[ZA2AK:_)`&[3A5AK)_[ANA"8aOQSORVCZA3A(08bVC[A3A(08bOSSOT&>[AUAZAUACUCLKOU&>ZAUA[AUACUCLKOVTOW)bT:`)aOXT:])^OYT)YGTTOO OOaO# & HV ex ~    SS&dFLSOb&f&#>C3BNAUBL,C2CKOcOe&i3A2A&3A2ADK:j)k&i3A5AK)jiAJA"8lOfSOiMCiA3A(3A'C3A 3AC7RCMCiA3A(3A'C3A 3AC70B3A(0A2BKOkMCiA3A(3A'C3A3A C70B3A$8mOlSOmMCiA3A(3A'C3A 3AC73A BKOn&3A5AKOoTOp)mT:k)lOr&&#>C3BAUBL,C2C3C8qOs&X>A3AUALAA:eOu)q&&>CNAUAL2CKOw&i3A2A&3A2ADK:r)s&i3A5AK)riAJA"8tOxSOy&uMCiA3A(2CKO{uC3A'C3A 3AC70B3A 8vO|SO}uC3A'C3A 3AC73ABKO~C&3A5A3A(iA2AKO3A@CNAUB3AUAfCUCLKOfCuC3A'C3A 3AC70B3A(3A2KOCuC3A'C3A 3AC70B3A(3A 'C3A5AKO&>fCUCuC3A'C0AUALKO&>fCUCuC3A'C0AUALKO&X>fCUCLKOTO)vuC3A 'C3A2AKOT:s)tOMC3A(3A 'C3A2AKOMC3A(3A 'C3A2AKO& >fCUCLKO3AAA:eOT)eGTTOO OOO# & HV ex ~    SS&FLSOO&3A2AKO&3A2AKO&yJA3A2AK:z){&y3A6AK)zyA3A#8|OSO&}MCyA3A(2CKO}C3A'C3A3A C70B3A$8~OSOO&}C3A'C0A,B}C3A'C0A,B}C3A'C0A,B}C3A'C0A,B3B3B}C3A'C0A,BC}C3A'C3A 3AC70B3A(3A'C0AC}C3A'C3A 3AC70B3A(3A'C0A2BKO}C3A'CMCB3A(3A 'C0A2AKOMCB3A(3A 'CyA2AKOTO:)~OSO}C3A'C3A2AKO}C3A'CA2AKO&yA2AKO&3A5AKOT)OT:{)|OT)xGTTOO OOO# & HV ex ~    SS&FLSOO&3A2AK:)&3A5AK)ANA"8OSOCA3A(3A'CJANA2AKOCA3A(3A'CACA3A(3A'C0A2AKOCA3A(3A'CCA3A(3A'C0A2AKOCA3A(3A'C0A3A#8OCA3A(3A'C&>BCA3A(3A'C0AUBL2AKO)T:)OT)GTTOO OOO# & HV ex ~    SS&FLSOO&>LKO&3A2AKO&JA3A2AK:)&3A6AK)A3A#8OMCA3A(3A 'C3A2AK:)O&JA3A2AK:)&3A6AK)A3A#8OSO&MCA3A(2CKOC3A'C3A3A C70B3A$8OSOO&C3A'C0A,BC3A'C0A,BC3A'C0A,BC3A'C0A,B3B3BC3A'C0A,BCC3A'C3A 3AC70B3A(3A'C0ACC3A'C3A 3AC70B3A(3A'C0A2BKOC3A'CMCB3A(3A 'C0A2AKOMCB3A(3A 'CA2AKOTO:)OSOC3A'CA2AKO&A2AKOT)OT:)OT)GTTOO OOO# & HV ex ~    SS&F---LSOOOO AA8O SO MCA3A(3A'C3A3A C70B3A"8MCA3A(3A'C3A3A C73B5BKO )AAA:O TO)&A,BA,BA,BA,B3B3BA,BCA3A(3A'C0ACA3A(3A'C0A2BKO&MCB3A(3A 'C0A2AKO)A3A 8OSOMCA3A(3A'C0AA8MCA3A(3A'C0AA8OSOMCA3A(3A'C3A3A C70B3A"8MCA3A(3A'C3A3A C73B5BKO)AAA:OTO)&MCA3A(3A'C0A2AKO"T:)O*A3A8O+SO,IA8O-3AAA:O3)&^>A3AUALKO4&3A2AKO7A3A8O8SO9&X>A3AUALKO:&I3A@A3AUAL2AKO;3AAA:O<TO=)TO@)&A2AKOA&MCA3A(3A'C0A2AKOBCA3A(3A 'C3A5AKOC&3A5AKOD&3A6AKOF&MCA3A(2CKOGC3A'C3A 3AC7A2BKOHC3A'CA2AKOIC3A'CA2AKOLC3A'CMCB3A(3A 'C0A2AKOMMCB3A(3A 'CA2AKOPC3A'C3A3A C73A2BKOQMCC3A'C0A3A(3A'C3A3A C70B3A"8MCC3A'C0A3A(3A'C3A3A C73B5BKOR)MCC3A'C0A3A(3A'C3A3A C70B3A"8MCC3A'C0A3A(3A'C3A3A C73B5BKOT)AAA:OUT)GTTOO OO^O# & HV ex ~    SS&F-LSO_&3A2AKO`&RCQCA3A(0A3A3A(0A2AKOa&CA3A(3A'C0A2AKOb&CA3A(3A'C0A2AKOcOeCA3A(3A 'C3A2AKOg&3A2AK:)&3A5AK)AA"8OhSOiOk&MCAA3A(3A 'C0A2AKOlMCAA3A(3A 'C3A2AKOn)A3A 8OoSOp&MCA3A(2CKOq&C3A'C0A2AKOsMCC3A'C0A3A(3A'C3A 3AC70BA 8MCC3A'C0A3A(3A'C3A 3AC70BA 8OtSOvC3A'CMCAA3A(3A 'C0A2AKOwMCAA3A(3A 'CA2AKOxCA3A(3A 'C3A5AKOyTOz:)O{SO}C3A'CA2AKO~&A2AKOT)O&A2AKOT:)OT:)OAAA:OT)GTTOO OOO# & HV ex ~    SS&F--LSO&RCQCA3A(0A3A3A(0A2AKO)A8OSO&MCA3A(2CKO&C3A'C0A2AKO&C3A'C0A2AKO&C3A'C0A2AKOOMCA3A(3A'C3A 3AC70BA8OSO&MCA3A(3A'C0A2AKO&MCA3A(3A'C0A2AKOTO:)O&&A2A2AK)OMCA3A(3A'C3A 3AC70BA8OSO&MCA3A(3A'C0A2AKO&MCA3A(3A'C0A2AKOTO:)O&&A2A2AK)O&&>AAUAAUAAUAL2AKO&&>AAUAAUAAUAL2AKO&MCA3A(2CKOMCC3A'C0A3A(3A'C3A3A C70B3A 8MCC3A'C0A3A(3A'C3A3A C70B3A$8MCC3A'C0A3A(3A'C3A3A C73B6BKO)MCC3A'C0A3A(3A'C3A3A C70B3A 8MCC3A'C0A3A(3A'C3A3A C70B3A$8MCC3A'C0A3A(3A'C3A3A C73B6BKO)C3A'C3A 3AC7A2BKOC3A'CA2AKOC3A'CA2AKOCA3A(3A 'C3A5AKO&C3A'C0A,BC3A'C0A,BC3A'C0A,BC3A'C0A,B3B3BC3A'C0A,BCC3A'C3A 3AC70B3A(3A'C0ACC3A'C3A 3AC70B3A(3A'C0A2AKOC3A'CMCA3A(3A 'C0A2AKOMCA3A(3A 'CA2AKO&A2AKOT:)OT)GTTOO OOO# & HV ex ~    SS&F-LSO&RCQCA3A(0A3A3A(0A2AKO&CA3A(3A'C0A2AKO&CA3A(3A'C0A2AKOO&3A2AK:)&3A5AK)AA"8OSO&AA2AKO&MCA3A(3A 'C0A2AKOMCA3A(3A 'C3A2AKO)A8OSO& MCA3A(2CKO&  C3A'C0A2AKO C3A'C3A3A C70B3A$8 OSO C3A'CMCA3A(3A 'C0A2AKOMCA3A(3A 'CA2AKOTO: ) OSOMC C3A'C0A3A(3A'C3A3A C70B3A 8 MC C3A'C0A3A(3A'C3A3A C70B3A$8 MC C3A'C0A3A(3A'C3A3A C73B6BKO) MC C3A'C0A3A(3A'C3A3A C70B3A 8MC C3A'C0A3A(3A'C3A3A C70B3A$8MC C3A'C0A3A(3A'C3A3A C73B6BKO) C3A'C3A2AKO C3A'CA2AKO&A2AKOCA3A(3A 'C3A6AKO&3A5AKOT) O& A2AKOT:)OT:)OT)GTTOO OOzO# & HV ex ~    SS&F-LSO{A3A"9ANA#8)O|&X>A3AUALAA:O})QCA3A(0A3A8O~3AAA:O)&>ARCQCA3A(0A3A3A(0AUALAA:OT)GTTOO OOO# & HV ex ~    SS&F-LSOOA3A"9ANA#8)O&X>A3AUALAA:O)&QCA3A(0A2ANA3A#8O3AAA:O)&3A2AKO&>ARCA3A3A(0AUAAUACUCL8OSO&&>AAUAL2AKOSO&>AUAAUALKO&>AUALKOTOTO)&RCA3A(0A2AKORCA3A(RCA3A3A(0A2AKORCA3A3A(A2AKO&QCA3A(0A2AKOQCA3A(QCRCA3A(0A3A(0A2AKOQCRCA3A(0A3A(A2AKO&>AUALKOA8O&>LKO)3AAA:OT)GTTOO OOO# & HV ex ~    SS&F-"- LSOOC3C 8(O&X>A3AUALAA:$O)( A"A8)O3AAA:$O)) A3A"9+ ANA#9+"A3A"9+"ANA#8*)+O&X>A3AUALAA:$O)*&%QC A3A(0A2AKO&&QC"A3A(0A2AKO%A&A$8,OSO&- A2AKO & "A2AKO &"-A2AKO &%QC A3A(0A2AKO &&QC"A3A(0A2AKO TO),&>ALKO)/QC A3A(0A&A"80O&>A AUALK:/)0O)2QC"A3A(0A%A$83O&>A"AUALK:2)3O&>LKO3AAA:$OT)$GTTOO OO O# & HV ex ~    SS&F-4LSO!O#A3A$89O$SO%4A8:O&SO'& >A&;UCLKO(&8& >AL2AKO)TO*:<):O+SO,&=& >AL2AKO-O.& >A=A8A,E3@@UAUAU&?UCLKO/T)<O0TO1)9T)6GTTOO OO?O# & HV ex ~    SS&5FLSO@&3A2AKOAT)AGTTOO OOMO# & HV ex ~    SS&3FLSON&3A2AKOOT)CGTTOO OOSO# & HV ex ~    SS&FLSOTOUA3A9HC3C9HA3A9HA8G)HOV3AAA:EOW)G3AAA:EOXT)EGTTOO OO\O# & HV ex ~    SS&FLSO]&>AL9KO^:JO`)KC3C 8MOaC>3AUALKOc)M&>AUALKOd&3A6AKOfC3C 8OOgC>3AUALKOh)OT)JGTTOO OOlO# & HV ex ~    SS&FLSOmOo&&#>C3BNAUBL,C2C3C8VOp3AAA:QOr)V&R3A2AK:W)X&R3A5AK)WRANA"8YOsSOtCRA3A(3A'C3A2AKOuCRA3A(3A'C3A2AKOvCRA3A(3A 'C3A2AKOwT:X)YO{&d>AL3A"8ZO|3AAA:QO)Z&>LKO&>LKO3AAA:QOT)QGTTOO OOO# & HV ex ~    SS&FLSOO&]3A2AK:^)_&]3A5AK)^]AA"8`OMCC]A3A(0A3A(3A'C3A 3AC73A BK:_)`O&]3A2AK:a)b&]3A5AK)a]AJA"8cOSOMC]A3A(3A'C3A 3AC70B3A 8dOMC]A3A(3A'C3A 3AC73ABKO:e)dOMC]A3A(3A'C3A3A C73A2BK)eOMC]A3A(3A'C3A 3AC7QCMC]A3A(3A'C3A 3AC70B3A(0A2BKOT:b)cO& >CUCLKO& >CUCLKO&>CUCLKO&X>LKOT)\GTTOO OOO# & HV ex ~    SS&jF-h-fLSO&lQCfC,C0A3A(0A2AKO&nQChC,C0A3A(0A2AKOlAnA"8pO3AAA:kO)plAnA$8qO3AAA:kO)q3AAA:kOT)kGTTOO OOO# & HV ex ~    SS&vF-t-rLSOOrC3C8zO3CAC:wO)zrC3A'C0,A3A8}rC3A 'C0C3C 8}OSOtA;~OSO)OrC3A 'C& >CrC3A 'C0CUCL2CKO:O)OrC3A 'C& >CrC3A 'C0CUCL2CKO:O)OrC3A 'C&>CrC3A 'C0CUCL2CKO:O)OrC3A 'C&>CrC3A 'C0CUCL2CKO:O)OrC3A 'C&Z>CrC3A 'C0CUCL2CKO:O)OrC3A 'C&k>CrC3A 'C0CUCL2CKO:O)OrC3A 'C& >CrC3A 'C0CUCL2CKO:OT:&~CtAUAxCUCLK:)OrC3A 'C0C3C 8O&>&jUC3BUBrC3A'C0ArC3A'C0A3AUBrC3A 'C0CUCLKO)rCAC:wOT)wGTTOO OO O# & HV ex ~    SS&F-LSO O &A2AKO &A2AKO&A2AKO&3A2AKO&&>C3AUAL2C3C8O:O)&>AL3A"8O:O)&JAA2AKOC3A'C3A2AKOC3A'C&F>AL3A2AKOC3A'C3A2KOC3A'C3C2CKOC3A 'CC2CKO&v>CAUACUCLKO &C3A 'C0C2CKO!& >CUCLKO#&JAA2AKO%&>LKO&&A2AKO'&A2AKO(T)GTTOO OO8O# & HV ex ~    SS&FLSO9A3A8O:3AAA:O<)3AdAAAAA:O=T)GTTOO OO\O# & HV ex ~    SS&F-LSO]&C2CKO^&C2CKO_CAC:O`T)GTTOO OO}O# & HV ex ~    SS&$F-LSO~&C2CKO&C2CKOCAC:OT)GTTOO OOO# & HV ex ~    SS&&F-LSO&A2AKO&A2AKO&3A2AKOAAA:OT)GTTOO OOO# & HV ex ~    SS&)F--LSO&A2AKO&A2AKO&A2AKOAAA:OT)GTTOO OOO# & HV ex ~    SS&+F-LSOA3A"9ANA#8)O&X>A3AUALAA:O)QCA3A(0AAA:OT)GTTOO OOO# & HV ex ~    SS&-F-LSOA3A"9ANA#8)O&X>A3AUALAA:O)RCA3A(0AAA:OT)GTTOO OOO# & HV ex ~    SS&/FLSOAAA:OT)GTTOO OOO# & HV ex ~    SS&1FLSOAAA:OT)GTTOO OOO# & HV ex ~    SS&7F-LSO&A2AKO&A2AKOAAA:OT)GTTOO OOO# & HV ex ~    SS&F-LSO&C2CKO C3C8O!CAC:O")&C2CKO#CAC:O$T)GTTOO OO1O# & HV ex ~    SS&FLSO2&>CUCLKO3&3C2CKO4&3A2AKO5T)GTTOO OO\O# & HV ex ~    SS&F--LSO]O^O_Oa&&\>A&UC&UCAUAL2A3A"8ObAAA:Oc)A3A"8Od&X>A3AUALAA:Of)&&C3A(0A2A2AKOh&3A2AK:)&3A5AK)AA"8OiSOjCA3A(0AA"8Ok&CA3A(0A2AKOl)CA3A(0AA$8Om&CA3A(0A2AKOn)T:)Op&&>CAUAAUAAUAAUACUCL2C3C8Oq&X>A3AUALAA:Os)&C2CKOt&3A5AAA:OuT)GTTOO OOyO# & HV ex ~    SS& F---LSOzO|A3A"9ANA#9A3A"9ANA#8)O}&X>A3AUALAA:O)&&>CAUAAUAAUAAUACUCL2C3C8O&X>A3AUALAA:O)&C2CKO&3A5AAA:OT)GTTOO OOO# & HV ex ~    SS&"FLSOO&3A2AK:)&3A5AK)ANA"8O& >A3AUAAUAAUALK:)OT)GTTOO OOO# & HV ex ~    SS&;FLSO&=>& >CL3A (UCLKOT)GTTOO OOO# & HV ex ~    SS&9F-LSOOC3C 8OSO&X>A3AUALKO:OTO)&>ALKO&3A2AK:)&3A5AK)ANA"8OSO&CA3A(0A2AKO)QCA3A(0AA$8O&>AAUALK:)OT:)O&>LKOT)GTTOO OOO# & HV ex ~    SS&F---LSOC3C8O:O)C3A 'C0C8OSO& >A& UA3AU& UCCUCLKOC8 OC>C3A'C0AUACUCLKO: ) O& >AC3A'C0AU& UCCUCLK) O& >A&UCCUCLKO&>A3AUAC3A 'C0CUCCUCLKO& >A& UA3AU& UCCUCLKOC8OC>C3A'C0AUACUCLKO:)O& >AC3A'C0AU& UCCUCLK)O& >A&UCCUCLKO&>AUAC3A'C0CUCCUCLKOTO:)OSO& >A& UA3AU& UCCUCLKOC8O C>C3A'C0AUACUCLKO :)O & >AC3A'C0AU& UCCUCLK)O & >A&UCCUCLKO &>AUAC3A'C0CUCCUCLKO T)O T)GTTOO OO O# & HV ex ~    SS&=F-LSO &>3AUACUCCUCLKO T)GTTOO M* '_MaxCount%_Str    _MaxCount _Src    _Time    _Time _SizeInWords _Buffer    _Time2 _Time1    _Time    _Time _SizeInBytes _Buffer    _Time    _Time _Tm    _Time    _Time _Tm    _Tm    _Tm    _Time  _Format!_Count_String _Arglist_Ret _Ap_Format_Count_String  _Plocinfo!_Format_Count_String _Arglist_Ret _Ap_Plocinfo_Format_Count_String         t  first this best  654320 / ,+*('! t #first$lastsize%c"this  1best  WVUTSRQPONMLKJIGFEDC= :first8this >setfirstAbest@next    Hpos          gfe d `_[ Xt ]first!\this  ~}|{ z vutrql it nfirst!olastsizemthis                middlePosblk nbestdirIsUpmaxAllowedbestpos first                numseqt nthis c1c2  bbaa ab         t pnnumseqthis  v  t firstlastsizec )( ' &$!         t nnumseqthis "blkHFDCB A @? > <;: 9 87 6 - +left 0leftsize/n1rightsize3lseq.right2leftstart4rseq       UT S RPONM KdepIr   Qnba ` _^ ] \Y Vdep Zn[m   vt s rqml k je  infdep   unode ~| { zx  yn }node hash     n       n node hash    highlowvar reshashnode          var0 toBeProcessednvar1vl0size0 r nextnode     var0toBeProcessed var1 f0nextf11f01f10f00hashf1node          var0 vl1nvar1size1 rhash  next node   var  var leveln toBeProcessed 3 2 0 / ,+*)($ "v2 v1 %l1&l2 -tmp<:96 4prestate    =c2A  C  HGE  OMKJ  ZY X WVQ  Rn edc b a` _ ^\  ]n qpk hbbfaa lanb  ~}zw tmethodrt xthis   method savetimestopsavemethod   handler tmp handler tmp method tmp nummethod tmp var  level      v tmp handler old     fixedb firstv!lastnsize!t  fixedlastfirst t    n       neworder level  lowvar   levelto    ofile @comp.id'm@feat.00.drectveH.cil$fg.cil$gl".cil$in.cil$ex,.cil$sy