ELFЊ44 ( 444HH@UZZ /lib/ld-linux.so.2GNU%* ' )&#%(  "! $)ZԈ7L$8o2 F{8$?4oD+HTPduZbt"z|:RZĉԉ)1>h=$4ZYD`TYdFty`$Z,v"T= __gmon_start__libstdc++-libc6.1-1.so.2_DYNAMIC_init__check_eh_spec__throw__ls__7ostreamPCc__deregister_frame_infoterminate__Fv__cp_pop_exception__ls__7ostreami_fini__builtin_vec_delete_GLOBAL_OFFSET_TABLE___cp_eh_infocout__register_frame_infolibm.so.6libc.so.6printf__strtol_internalmemcpypclosemallocpopenfprintfreadmemsetsprintffclosescanfstderr__xstatexitfopen_IO_stdin_used__libc_start_mainopenclockclosefree_edata__bss_start_endGLIBC_2.1GLIBC_2.0ii ii Z)Z Z&YYYYYYY Y Y Y YYYYYYYYYYYYYYY!Y"Z#Z%Z' Z(Z)US[tu]5Y%Y%Yh%Yh%Yh%Yh%Yh %Yh(%Yh0%Yh8p%Yh@`%YhHP%YhP@%YhX0%Yh` %Yhh%Yhp%Yhx%Yh%Yh%Yh%Yh%Yh%Yh%Yh%Yhp%Yh`%YhP%Zh@%Zh0%Zh % Zh%Zh1^PTRhhQVhU=Hu8PHСH8utt hH:H]U]ÐUth[hH)]ÐU]ÐUWVSu} ]L'@~X?\?e N~X\>@~X\t&X\T$]\(] \_~&?KL,]0,]@t&,] ,]$] ]0]<]H[3uSWSCl h k \uh5Zj8t&\hP\\h@Pn\\hPX\\hPB\\ h`P)\\hP\\WVhP\C CCpCtCTCXCLCPCdChǃC(C@C,CH*CDC=~  t&&[=P~P[C$Cǃe[^_ÐUD9GT~=HWv n>WEt"HPEuT[9G@G,9T[u GHG|7W9P}PW9T}T(tNGT[uW t.$O,9~ɉO,WrG`vG\WH=TuM HH9u$9v )щ1A)1RP,$H HH1ۋW9} [9uLC9|G+GG0hL5\\\h`Ru\\hR\\\w hR@\(W $X h.&h@5\\\h`h5\\Tvh 5\\\h` h5\\\hP\HGHHHPPPW0Rh`5\I\\wphR-\\ wThR\\5[5[hR\\TPh R\\(5\h#R\\wXh<R\\GPHGLHHPh`RY\\$w\hR:\\w`hR\\LPhR\\$5H5Hh R\X9\u Vt&X9\v$)\\@DžD߭@\H+X1RP,$H $h95\M \ \WtvDž` hSQ\\P HEuhahoR\W h5\\5 \hZy1ۃ9}Gt&[ uVh uVhhZ;PFC9|hhZIh5\ \\hP \1ۃ;}G&[uj0u j1 &j-h5\\ C;|hDž`hQ\\P HEu haBho8vDž`h 5\:\\=TtNHٽll d٭d۝@٭l@Ph`R\ OT; D~3QhR\\hP\v=@[?'~dh R}\\h`Pg\\hPQ\\hP;\\ h PhR\h5\\5 \hZ%`4[^_ÐU4WVSuNV9Fp W5X[uEE\[0EE \[u;w}u;~8|KT);VH~u9} [<~ }9}} u;VD~[u}94}E_}<}̋utuE}܉}uGQuFCt&}}9}}uFD;[~HFD}GGu)wt&]؍X9E~B}WH]}__G(G@K_|e[^_ÉUWVSuFXFL [ [V [[H[x=H[=u*H[1;V}&D[B;V|[z[V FLx~Lu(VQ]t;[VG&VQ t[Vb=Lt ;[r1e[^_UWVS]CTCXCP[[[Ѓу![{O<[[H[x=H[=u#H[1;S}D[B;S|5[[S CPx{Pu3SQHtU{ uCCtHSe@&SQ t"{ uCCtS2 t&=Lt;5[d1e[^_ÐU WVSuN [9~~,9~~!9~ ~9~ ~ 9~ }Wj9EEuV\[U[E[[x[ yux[r4}GBx[|[u9u'WVt2u[x[Ѓ1uvu}wtW[=[[T;Mt uu 9r}GG|pw\[}|uF@e[^_ÉU WVS[u~ u EEH[x=H[=u)H[1ҋu;V}D[B};W|EEuVx\[<}DE[D[5H[މ4[=H[߉=[}܃<˃҉U؃M!]؋u؃<D[H[9[}߉} G t-u[z=[d[\u} wxW.[u4[[E}9}P1e[^_ÉUWVSuF<Vzt&X}G|9|"vPb'tuF|x~|9}uV|;V<} V0]\[ TU9s:=[}5[u} ҃!‰MEԅu4u }ut9uu 1!t&EEEM9M)e[^_UWVSE&\] DE99}H]95[}E]};_0e[^_UVS]Ch9Cd~2[J39s 99rCd}Cd[9C@ C,9T[~1C4S9~ЉC8C(\Ct$]\D{ u=[t1{ =[t"C?u{ ~\Ct &1e[^ÍvUWVS}G<[WEHE}w|9}f9|b\[|}ЉE}}?}9s([5h[35d[(5 \ÍvUWVS]C $l SS|31ҋK9}%[ύHt&8u9tփ9|uCS\Ct1%S [4S SV1e[^_ÉUWVSMyuD^@^@2oc5E9]n@^E9]~IE9]9@^ٍt&E@UE9~4E9]1۹@^@E9u~ف~ @E9M@^t&E@UE9~9~,gfff]}+M}s  ]~EE@E9E!@^9uuAuU BUE9~e[^_ÉUWVS}M AA @AuhXVWj蓻 AIt&?CCXQjt&Sy=tWh 5Z舺juȉujW裻ÃuWh 5ZXj葻E@P藺Euh5Z-jfMQuVSֻM1St$Wh 5Z V8j}uh 5Zȹju} h } h` 5Z]u v貯6諯MQ袯h h 5Z$uVxjQEM Auq 1L[^_ÉUh S3h#S(h S h Sh#Sh@$Sh$S h%Sh`%S՘h Sʘh S还 h S豘h%S覘h S蛘h S萘 h%S肘h@&Swh&Slh'Sa h`'SSh'SHh (S=h(S2 h(S$h Sh Sh S h(Sh Sh Sߗh)Sԗ h`)SƗh S軗h S谗h)S襗 h*S藗h`*S茗h*S聗h +Sv h+Shh+S]h@,SRh,SG h-S9he S.h S#h S h`-S h-Sh.Sh S h Sۖh@.SЖh.SŖh S躖 h S謖h S衖h.S薖h S苖 h S}h/Srh`/Sgh/S\ h SNh SCh/S8h@0S- h0Sh Sh S h S S]UWVSu EEEEE}h0h0<Ãfh0萖 Rh0ٕ01t  t0u\h h0Ãuh0jWvRh0SSh1j+&h@1ڕj}8h1迕h15Z诔h1襕h1蛕h1葕h2臕hO2} h2ph2fh 3\hd3Rh3Hh3>h@44h4* h4h 5h5 h5h5h 6h6h6ה h7ʔh7h@7趔h7謔h7袔h7蘔jє}~h7 Uth`8rh 8h}F8b jj jv t&菓芔CCRjCnSȓ茓WvOCCRjt&/S艓M}F8b jj jv=(ߒړCCRj蓒辒Sܒ角v蟓CCRjXt&Sْ蝒}F8b jj jv荒x/*CCRjSh,vCCRj訑t&ϑS)E t&E}F= 10) we didn't assume you have too many short clauses, sorry the value of a literal (%d)is too large level is too largeit does not look like a CNF formula!.A.Awmorefailure to open a pipe to "more" hello SOFTWARE LICENSE AGREEMENT FOR "RESEARCH" AND EVALUATION Copyright 2002 Cadence Design Systems, Inc. All Rights Reserved. THIS SOFTWARE LICENSE AGREEMENT ("AGREEMENT") IS A LEGAL DOCUMENT BETWEEN YOU AND CADENCE DESIGN SYSTEMS, INC. ("CADENCE"). PLEASE READ THIS AGREEMENT CAREFULLY BEFORE RUNNING THE SOFTWARE (THE "LICENSED PROGRAM"). BY USING, COPYING, DOWNLOADING OR DISTRIBUTING THE LICENSED PROGRAM, YOU ARE AGREEING TO BE BOUND BY THE TERMS OF THIS AGREEMENT AS OF THE DATE YOU TAKE SUCH ACTION. You are also representing to Cadence that you have the legal authority to accept the terms of this Agreement on behalf of yourself or the party you represent. In this Agreement "You" refers to both yourself individually and your company or employer for whom you are using copying or distributing the Licensed Program If you agree to the terms and conditions of this Agreement, answer "YES" to the "DO YOU AGREE?" question at the end of the Agreement, and you will be permitted to run the Software. IF YOU DO NOT WANT TO BE BOUND BY THE TERMS OF THIS AGREEMENT, CADENCE IS UNWILLING TO LICENSE THE SOFTWARE TO YOU. If you do not agree to all of the terms and conditions of this Agreement, answer "NO" to the "DO YOU AGREE?" question at the end of this Agreement and the Software will terminate. -------------------------------- THIS AGREEMENT sets out the terms under which Cadence is prepared to allow you access to this Licensed Program. This Licensed Program shall be used solely for testing and evaluation purposes. YOU ARE NOT AUTHORIZED TO USE THIS LICENSED PROGRAM FOR COMMERCIAL OR DEVELOPMENT ACTIVITIES. If you wish to obtain a license for use in commercial or development activities, please contact egold@cadence.com. 1. GRANT OF LICENSE. So long as you comply with the terms of this Agreement, Cadence grants to You a nonexclusive, non-transferable, temporary, royalty-free, limited right to use the Licensed Program and any documentation provided with it ("Product") solely for the purpose of testing and evaluating the Licensed Program for its suitability for use with Your internal designs and design processes. YOU ARE NOT AUTHORIZED TO USE THIS LICENSED PROGRAM FOR COMMERCIAL OR DEVELOPMENT ACTIVITIES. Cadence reserves the right to terminate your rights under this Agreement and to seek any other legal remedies if you violate any provisions hereof and, in the event of such termination, you agree to return the Product to Cadence or completely delete all copies from your systems. 2. SINGLE USER LICENSE. This license entitles You to use one copy of the Product on a single computer at a time at Your location. You are not entitled to make copies of the Product, except one archival copy for back-up purposes only. All legends, trademarks, trade names, copyright marks and other identifications must also be copied when copying the Product. 3. OTHER RESTRICTIONS. The Product is the sole and exclusive property of Cadence. You agree not to copy, modify, sell, lease, permit third parties to use or access, or transfer the Product or any copy, in whole or in part. You agree not to reverse engineer, decompile, disassemble, or make any attempt to discover the source code to the Licensed Program. 4. TERM AND TERMINATION. Your license to use the Product expires 6 months after you obtain access to it. All Your rights under this Agreement shall terminate if You fail to comply with any of the material terms or conditions of this Agreement. Upon termination of this Agreement, your license to use the Product will immediately terminate and You agree to destroy all copies of the Product as soon as reasonably practicable. However, Your obligations under this Agreement shall survive such termination. 5. NO WARRANTY. THE PRODUCT IS LICENSED TO YOU "AS IS", WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR IMPLIED, INCLUDING ANY WARRANTY OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT. YOU ARE solely responsible for determining the appropriateness of use OF THE PRODUCT and assume all risks associated with YOUR exercise of rights under this Agreement. Cadence does not provide any support, assistance, installation, training or other services, updates, or enhancements related to the Product. 6. LIMITATION OF LIABILITY. CADENCE SHALL HAVE NO LIABILITY FOR ANY DAMAGE, HOWEVER CAUSED, ARISING OUT OF THE USE OF THE PRODUCT, INCLUDING ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING WITHOUT LIMITATION LOST PROFITS), WHETHER FOR BREACH OF WARRANTY, CONTRACT, TORT, NEGLIGENCE, STRICT LIABILITY OR OTHERWISE. 7. NO ASSIGNMENT. You may not transfer or assign this Agreement, or any part thereof, to any other party (by operation of law or otherwise), and any attempt to do so shall be void. 8. EXPORT. This Agreement does not permit export of the Licensed Program or related documentation outside of the United States. You agree to comply with all U.S. laws regarding export and all necessary approval and license requirements of the U.S. Department of Commerce and other agencies or departments of the U.S. Government. 9. U.S.A. GOVERNMENT RESTRICTED RIGHTS. The Product includes "commercial computer software" and "commercial computer software documentation" as such terms are used in 48 C.F.R. 12.212 (SEPT 1995) and is provided to the Government (i) for acquisition by or on behalf of civilian agencies, consistent with the policy set forth in 48 C.F.R. 12.212; or (ii) for acquisition by or on behalf of units of the Department of Defense, consistent with the policies set forth in 48 C.F.R. 227.7202-1 (JUNE 1995) and 227.7202-3 (JUNE 1995). For further information, contact Cadence Design Systems, Inc., 555 River Oaks Parkway, San Jose, CA 95134 U.S.A. 10. GENERAL. The invalidity or unenforceability of any provision hereof shall in no way affect the validity or enforceability of any other provision. This Agreement is governed by the laws of California, without reference to conflict of laws principles. Each party waives its rights to a jury trial in any resulting litigation. Any litigation relating to this Agreement shall be subject to the jurisdiction of the federal and state courts of the Northern District of California, with venue lying in Santa Clara County, California, or the Santa Clara County Superior Court. The application of the United Nations Convention on Contracts for the International Sale of Goods is expressly excluded. The provisions of this Agreement shall be construed fairly in accordance with its terms and no rules of construction for or against either party shall be applied in the interpreting this This Agreement constitutes the complete agreement between You and Cadence and may not be modified unless a written amendment is signed by a corporate officer of Cadence. Cadence is a registered trademark and the Cadence logo is a trademark of Cadence Design Systems, Inc. All others are properties of their holders. ACCEPTANCE By answering "YES" to the "DO YOU AGREE?" question, or by using the Licensed Program, you are legally binding yourself to the terms and conditions contained in this Agreement. To accept the terms and conditions of this Agreement, indicate your acceptance by answering "YES" to the "DO YOU AGREE? " question at the end of the Agreement. rlicense.txtDO YOU AGREE? %sYESyescan't create a file DO YOU AGREE? %s The license agreement is accepted. Please run BerkMin again The license agreement is rejected. input file format error ------------------------------ No file name is provided! Here is a short description of how to call BerkMin561. BerkMin561 "file_name" [b "backtrack_limit"] [s "strategy"][t "time_limit"] b "backtrack_limit" The program terminates as soon as the number of backtracks exceeds the indicated limit. The default value of backtrack_limit is 100,000,000 s "strategy" "strategy" is a number from the set {0,1,2,3}; 0 - a general purpose decision-making strategy; 1 - a special strategy for equivalence checking and similar applications; 2 - the static choice of branching variables 3 - a strategy that ignores the chronological ordering of conflict clauses Strategy 0 is the default choice t "time_limit" The program terminates as soon as its runtime exceeds the value of time_limit specified in seconds. The default value is 360,000 seconds. Examples: BerkMin561 my_cnf.dimacs BerkMin561 my_cnf.dimacs b 100000 s 1 BerkMin561 my_cnf.dimacs t 3600 BerkMin561 my_cnf.dimacs s 1 BerkMin561 my_cnf.dimacs b 100000 s 3 t 100 warning: too many arguments ignoring all arguments except argv[1] warning: an odd number of arguments YehS| 0AB AAA>.\.G.T..P\ AB DAAU.Z.G.U. O.Z.G.U. V._.G.O.G.\.G.o.G.n.G..G.q.G..G..G.o.G.Q.G.U. O._.G.Q. N._.G.t.G.x.G.n.G.W. O._.G.R. L._.G.W. L._.G.R. L._.G.Q.G.N.G.@ AB G3A4A5u. k.\.G.O. .E..b.l... Y.u. |..\. D.`. ..E.[.. s.. }..,3AB DAA.o..(AB D AA|.]., AB AAA.S.U.S.,P3AB AAA.c.P.c.(^AB DAAL.o. |`AB D A A (ܳAB D AAM.,.(AB D AA.. (,AB DAA L.,L(AB D AA.\. D.(|AB DA A . Z. AB DAA DAB D A A 8AB AA  AB D A A V.$4+AB D A A L..\,AB F. x,AB AAAW. AB DAA@: AB G-A.A/x. J.a.I.F.L.U. G.N.[. G.d.G.P. M.X. I.`.G..M.`.I.F.L.e.I.F.L.T.J.\.E.F.L.d.I.F.L.^.].G..G.l.G.L. .P.\.E.F.L.d.I.F.L.Q. P.K..S.\.E.F.L.d.I.F.L.h.b. G.. G..G..R.\.E.F.L.d.I.F.L.b.^. `.K.n.L.XfAB DAA.Z.G.l.G.3.G.m.G.o.G.m.G..G.m.G.(`\AB DAAZ._. G.AB 4AB $TAB AAAk. $pAB  fAB DAA bAB DAA D`AB DAA hQAB AA LzAB AAAIAB AAAB AA AB DAAD3AB (xgAB A DoAB AAAhPAAB AA xAB AAA. ;AB  HAB AAD.1AB  ,+AB  XAB N. G.8 x3AB ehV| (D AB AJ.S._..TH AB GJAKALs.R.J.W.[.\. F.M.J.u.Q.\.E.F.L.d.I.F.L.p.N.\.E.F.L.d.I.F.L.p.N.\.E.F.L.d.I.F.L.E.M.c.I.F.L.e.I.F.L.u.M.c.I.F.L.e.I.F.L.u.J.\.E.F.L.h.E.F.L..N.\.E.F.L.d.I.F.L.p.N.\.E.F.L.d.I.F.L.p.N.\.E.F.L.d.I.F.L.@.^.$AB AAAG.^.4hAB G6A7A8J.R.J.W.[.Y. F. BB 5@,5 BB 5@,5)x):EEssEfqOaf}}hp*55cc5Va?QVmmzWWmuuu22%0 %YYouuu X` %%SS%FQ/AF]]j|'0""  ,bb,U`:LU""  NNafffp X` %%SS%FQ/AF]]j| BB 5@,5iiZڈ *:JZjzʉډ *:JZjz  ( l  YoTookdd9<Hw:"HmCm5II5u"Y(;I$B?I 5 M!e"{#%&123 4% 5> 6X 8q 9 ; = > ? @ A' BA CX Dq E F G H I N. QG Ra Sy T V Y o r( uC {] |z  ' C ` z UO  S"6o3;B;EXRY3]Q1kSsxI #$!%;&U "dinit.c/md/home/mej/avalon/build/BUILD/glibc-2.1.3/csu/gcc2_compiled.int:t(0,1)=r(0,1);0020000000000;0017777777777;char:t(0,2)=r(0,2);0;127;long int:t(0,3)=r(0,1);0020000000000;0017777777777;unsigned int:t(0,4)=r(0,1);0000000000000;0037777777777;long unsigned int:t(0,5)=r(0,1);0000000000000;0037777777777;long long int:t(0,6)=r(0,1);01000000000000000000000;0777777777777777777777;long long unsigned int:t(0,7)=r(0,1);0000000000000;01777777777777777777777;short int:t(0,8)=r(0,8);-32768;32767;short unsigned int:t(0,9)=r(0,9);0;65535;signed char:t(0,10)=r(0,10);-128;127;unsigned char:t(0,11)=r(0,11);0;255;float:t(0,12)=r(0,1);4;0;double:t(0,13)=r(0,1);8;0;long double:t(0,14)=r(0,1);12;0;complex int:t(0,15)=s8real:(0,1),0,32;imag:(0,1),32,32;;complex float:t(0,16)=r(0,16);4;0;complex double:t(0,17)=r(0,17);8;0;complex long double:t(0,18)=r(0,18);12;0;void:t(0,19)=(0,19)../include/libc-symbols.h/md/home/mej/avalon/build/BUILD/glibc-2.1.3/build-i386-linux/config.h../include/libintl.h../intl/libintl.h../include/features.h../include/sys/cdefs.h../misc/sys/cdefs.h/usr/lib/gcc-lib/i386-redhat-linux/egcs-2.91.66/include/stddef.h../include/locale.h../locale/locale.hlconv:T(10,1)=s48decimal_point:(10,2)=*(0,2),0,32;thousands_sep:(10,2),32,32;\grouping:(10,2),64,32;int_curr_symbol:(10,2),96,32;\currency_symbol:(10,2),128,32;mon_decimal_point:(10,2),160,32;\mon_thousands_sep:(10,2),192,32;mon_grouping:(10,2),224,32;\positive_sign:(10,2),256,32;negative_sign:(10,2),288,32;\int_frac_digits:(0,2),320,8;frac_digits:(0,2),328,8;\p_cs_precedes:(0,2),336,8;p_sep_by_space:(0,2),344,8;\n_cs_precedes:(0,2),352,8;n_sep_by_space:(0,2),360,8;\p_sign_posn:(0,2),368,8;n_sign_posn:(0,2),376,8;;../include/xlocale.h../locale/xlocale.h__locale_struct:T(13,1)=s36__locales:(13,2)=ar(0,1);0;5;(13,3)=*(13,4)=xslocale_data:,0,192;\__ctype_b:(13,5)=*(0,9),192,32;__ctype_tolower:(13,6)=*(0,1),224,32;\__ctype_toupper:(13,6),256,32;;__locale_t:t(13,7)=(13,8)=*(13,1)../sysdeps/unix/sysv/linux/_G_config.h../sysdeps/unix/sysv/linux/bits/types.hsize_t:t(16,1)=(0,4)__u_char:t(15,1)=(0,11)__u_short:t(15,2)=(0,9)__u_int:t(15,3)=(0,4)__u_long:t(15,4)=(0,5)__u_quad_t:t(15,5)=(0,7)__quad_t:t(15,6)=(0,6)__int8_t:t(15,7)=(0,10)__uint8_t:t(15,8)=(0,11)__int16_t:t(15,9)=(0,8)__uint16_t:t(15,10)=(0,9)__int32_t:t(15,11)=(0,1)__uint32_t:t(15,12)=(0,4)__int64_t:t(15,13)=(0,6)__uint64_t:t(15,14)=(0,7)__qaddr_t:t(15,15)=(15,16)=*(15,6)__dev_t:t(15,17)=(15,5)__uid_t:t(15,18)=(15,3)__gid_t:t(15,19)=(15,3)__ino_t:t(15,20)=(15,4)__mode_t:t(15,21)=(15,3)__nlink_t:t(15,22)=(15,3)__off_t:t(15,23)=(0,3)__loff_t:t(15,24)=(15,6)__pid_t:t(15,25)=(0,1)__ssize_t:t(15,26)=(0,1)__rlim_t:t(15,27)=(0,3)__rlim64_t:t(15,28)=(15,6)__id_t:t(15,29)=(15,3)__fsid_t:t(15,30)=(15,31)=s8__val:(15,32)=ar(0,1);0;1;(0,1),0,64;;__daddr_t:t(15,33)=(0,1)__caddr_t:t(15,34)=(10,2)__time_t:t(15,35)=(0,3)__swblk_t:t(15,36)=(0,3)__clock_t:t(15,37)=(0,3)__fd_mask:t(15,38)=(0,5)__fd_set:t(15,39)=(15,40)=s128fds_bits:(15,41)=ar(0,1);0;31;(15,38),0,1024;;__key_t:t(15,42)=(0,1)__ipc_pid_t:t(15,43)=(0,9)__blkcnt_t:t(15,44)=(0,3)__blkcnt64_t:t(15,45)=(15,6)__fsblkcnt_t:t(15,46)=(15,4)__fsblkcnt64_t:t(15,47)=(15,5)__fsfilcnt_t:t(15,48)=(15,4)__fsfilcnt64_t:t(15,49)=(15,5)__ino64_t:t(15,50)=(15,4)__off64_t:t(15,51)=(15,24)__t_scalar_t:t(15,52)=(0,3)__t_uscalar_t:t(15,53)=(0,5)__intptr_t:t(15,54)=(0,1)../linuxthreads/sysdeps/pthread/bits/pthreadtypes.h../sysdeps/unix/sysv/linux/bits/sched.h__sched_param:T(18,1)=s4sched_priority:(0,1),0,32;;_pthread_fastlock:T(17,1)=s8__status:(0,3),0,32;__spinlock:(0,1),32,32;;_pthread_descr:t(17,2)=(17,3)=*(17,4)=xs_pthread_descr_struct:pthread_attr_t:t(17,5)=(17,6)=s36__detachstate:(0,1),0,32;\__schedpolicy:(0,1),32,32;__schedparam:(18,1),64,32;\__inheritsched:(0,1),96,32;__scope:(0,1),128,32;\__guardsize:(16,1),160,32;__stackaddr_set:(0,1),192,32;\__stackaddr:(17,7)=*(0,19),224,32;__stacksize:(16,1),256,32;;pthread_cond_t:t(17,8)=(17,9)=s12__c_lock:(17,1),0,64;\__c_waiting:(17,2),64,32;;pthread_condattr_t:t(17,10)=(17,11)=s4__dummy:(0,1),0,32;;pthread_key_t:t(17,12)=(0,4)pthread_mutex_t:t(17,13)=(17,14)=s24__m_reserved:(0,1),0,32;\__m_count:(0,1),32,32;__m_owner:(17,2),64,32;\__m_kind:(0,1),96,32;__m_lock:(17,1),128,64;;pthread_mutexattr_t:t(17,15)=(17,16)=s4__mutexkind:(0,1),0,32;;pthread_once_t:t(17,17)=(0,1)_pthread_rwlock_t:T(17,18)=s32__rw_lock:(17,1),0,64;__rw_readers:(0,1),64,32;\__rw_writer:(17,2),96,32;__rw_read_waiting:(17,2),128,32;\__rw_write_waiting:(17,2),160,32;__rw_kind:(0,1),192,32;\__rw_pshared:(0,1),224,32;;pthread_rwlock_t:t(17,19)=(17,18)pthread_rwlockattr_t:t(17,20)=(17,21)=s8__lockkind:(0,1),0,32;\__pshared:(0,1),32,32;;pthread_t:t(17,22)=(0,5)wchar_t:t(19,1)=(0,3)wint_t:t(19,2)=(0,4)_G_int16_t:t(14,1)=(0,8)_G_int32_t:t(14,2)=(0,1)_G_uint16_t:t(14,3)=(0,9)_G_uint32_t:t(14,4)=(0,4)_IO_stdin_used:G(0,1)GCC: (GNU) egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)GCC: (GNU) egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)GCC: (GNU) egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)GCC: (GNU) egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)GCC: (GNU) egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)GCC: (GNU) egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)GCC: (GNU) egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)01.0101.0101.0101.0101.0101.0101.01.symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.got.rel.bss.rel.plt.init.plt.text.fini.rodata.data.eh_frame.gcc_except_table.ctors.dtors.got.dynamic.sbss.bss.stab.stabstr.comment.note# 1((D7 ll?  GoTToTT0c l u  ~/ĈЊ s~~9 H(HL S|Y|YYZZZC P 0kF  (l T   Ĉ Њ HHS|YYYZZZ  "  -H1Y?HK aHtH [P p H|Y" ` ` Y HYS    H HH$H8LBX[\uT \$](],] ]@]0]H[  \\[*P5[?d[K[ZHfDo@[|L[h[l[p[t[x[|[[[X[ \[-`[>[M[Z\s\\[[[[[[[D[[[P[T[[[#[1[>\J[Q@Y[p[[[\[[[[[4]@^@[[S.H>  V.QL` f8 Zb f f  \  ^ !Ԉ729$Lo fx|` 3 o4 3  #, 3 Pܳ l r{$4D+\ TPA dZ#t";I,+ c:v   ; Њ Q $p  X  ( 2 RO   g x D Lz Z :  +    $ D  6 ĉS h e ԉu T H  I xg )  >  1 & , D =T  t D3 $ 4 Z Y D ` T dF  ,  G  ^ , ty x3   $ H Z,   H . v"D =T  v initfini.cgcc2_compiled.init.ccrtstuff.cp.2__DTOR_LIST__completed.3__do_global_dtors_aux__EH_FRAME_BEGIN__fini_dummyobject.8frame_dummyinit_dummyforce_to_data__CTOR_LIST____do_global_ctors_aux__CTOR_END____DTOR_END____FRAME_END__base_m483.cNONEdurationprev_check_pointcurrent_check_pointno_memorydelta_bk_for_clock_resetborder_bk_for_clock_resetis_time_limitvar_choi_stackpnt_var_choi_stacklow_pnt_var_choi_stacksize_choi_stackborder_var_choi_stackves_choi_stackpnt_ves_choi_stackkeyacinforpnt_infoblock_size_bodertime_limitindex_derderived_litmin_saved_rangtry_if_easybk_limitmax_base_incmax_nb_cubguard_in_fieldpnt_guard_in_field_currentpnt_guard_in_field_endguard_in_beginguard_in_currentguard_in_endmin_in_resourcenb_g_in_extantionscub_setcub_data_pntmax_cub_data_pntmin_c_resourcetwo_in_fieldpnt_two_in_field_currenttwo_in_begintwo_in_currentcub_actcub_genrecipesaved_derived_litleft_choi_litlit_activityvar_activityaclit_nlit_indder_lit_lev_0nb_der_lit_lev_0max_size_queuqueunb_choice_twonb_choice_stmax_cub_genvar_glmax_glusaved_nb_der_lit_lev_0saved_nb_der_lit_lev_0_for_rsnb_test_confnb_near_topmin_levtop_queu_pntdominatorrecipe_sizeguard_0guard_1ncl_brmy_log_glulimit_queu_pntdelta_nb_der_lit_lev_0__EXCEPTION_TABLE____FRAME_BEGIN__tautologDoc.cget_cub_est__FiP8CHpGNO83is_sbrosO85__FP8CHpGNO83_DYNAMICUponeub_sh1__FPiireset_db_O83__FiP8CHpGNO83Uponevoz_sh1__FPiT0iis_ves2_and_neudO85__Fiinit_BO83__FP6St_dnfP8CHpGNO83incl_lefttrBO85_rs__FP8CHpGNO83close@@GLIBC_2.0_fp_hwfprintf@@GLIBC_2.0change_trO85__FP8CHpGNO83pclose@@GLIBC_2.1find_recipe_m_BO85_rs__FP8CHpGNO83SubstitutRO85_rs__FP8CHpGNO83clock@@GLIBC_2.0my_log_gluO83__Fibase_reviewBO85_opt1__FP8CHpGNO83SubstitutionB3L_BO85_rs__FP8CHpGNO83free_memO83__FvIsCorrectO85_rs__FP8CHpGNO83subst_litBO85__FiP8CHpGNO83_initpopen@@GLIBC_2.1__check_eh_specmalloc@@GLIBC_2.0scanf@@GLIBC_2.0reset_inputV83__FiP6St_dnfi__throwresert_var_activityBO85__FP8CHpGNO83__ls__7ostreamPCcstderr@@GLIBC_2.0__deregister_frame_infoterminate__Fvset_accumO83__FP8CHpGNO83__xstat@@GLIBC_2.0choice_va2_opt_O85__FP8CHpGNO83init_CHpO83__FiiP8CHpGNO83recove_stateBO85_rs__FP8CHpGNO83_startis_freeO85__Fireset_clock__FP8CHpGNO83AfxMessageBox__FPcget_lit_ves_O85__FiP8CHpGNO83__strtol_internal@@GLIBC_2.0base_BO83_rs__FP6St_dnfchoice_statO85__FP8CHpGNO83reduce_two_inO85__FP8CHpGNO83prepare_guard_shiftO85__FP8CHpGNO83__bss_startraspok_dnf__FPcP6St_dnfchoice_stack_wide_O85__FP8CHpGNO83main__cp_pop_exceptionprint_license__Fv__libc_start_main@@GLIBC_2.0check_license__Fv__ls__7ostreamiincrease_guard_inO85__FiP8CHpGNO83data_startis_udO85__Fiform_solutionB3_O85__FP8CHpGNO83printf@@GLIBC_2.0_finimemcpy@@GLIBC_2.0fclose@@GLIBC_2.1set_randO83__FP8CHpGNO83is_branch_litO85__FP8CHpGNO83open@@GLIBC_2.0init_my_log_gluO85__FP8CHpGNO83recove_state0_BO85__FP8CHpGNO83exit@@GLIBC_2.0__builtin_vec_delete_edata_GLOBAL_OFFSET_TABLE_free@@GLIBC_2.0_end__cp_eh_infomemset@@GLIBC_2.0choice_stack_glu_O85__FP8CHpGNO83is_ves2_and_neudO85__FiiRiOnBase_m1__FPcP6St_dnfchoice_stack_lia_O85__FP8CHpGNO83fopen@@GLIBC_2.1compute_duration__FUiUi_IO_stdin_usedmy_log_gluO85__Fisprintf@@GLIBC_2.0__data_startcoutsubst_lit_two_firstBO85__FiP8CHpGNO83TautBO85_rs__FP8CHpGNO83__register_frame_inforead@@GLIBC_2.0base_reviewBO83_opt2__FP8CHpGNO83__gmon_start__