SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  } }x= $< ] Polynomial_Factorization:threads=2elapsed=48.477cpu=77.804gc=2.880factor=1.607zXZִF! *9]ŗXf1-/6vR[2ө=%Bl=E^X<rm%WqG$HS+l˧5\TaJ!pj: j#ZI<'m681hNޫ{6 nH{~@of}} ~V(Y"#,>ҕj/H jJqpl >-w3l-͎ xS}`}1"Q+OI(b01=CKANUÁk0Y {6U[繗>|WkNl k ֔rTg̮o {}7 IFȆ#ZoʼsY`1";?Sq@|Yb >>M{ąO`P,&0~bt}o&n-7;z;X?G6<ٔn ӰSPT/vIku4Ox x1h+L $XK8}z@A7]v-ГnrҔfPWQnݓa40+qttŐ6qP+ =uYu)?Rdkzm`ٚV4YkG[K+fUUGuG~*^.d(`>HK{\N7A 8;qY0pp#nV\"tqwn!W8 qSL]×crmKjVAS9 = Polynomial_Factorization6o=H4NǏPHZbTk[uVn7>C,kڀ?9i||!4~3Tzh"nђm~-\6Aͤ[eYqP b2*3Bo IL)S)An4MSYhEfm ,8LDv-Z=wzA\a4]E RCGB (Ю.e,2׍ZwIJ&l\{")+/o٨ ៊ XT aGncjf3Ap|Rv3`s&>t`a$,~l`3iECy/J?jHUgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|x$]H!T$ CI3pqJ?$8Kt>6Yw3 pf:g㊑ToH{dn{L{Ig+91gBxkP ĂT/.zӜ3zpCrEs>2J! ʆblv$SD8x| ԹEg|i)btoY)܌a<2JY@;U}Ŏ,8 T~oC4Ŀ;J/45;x%+^})T7QĄAHi~߯` j}|j] bͱgYZ7zXZִF! ]ŗXi%9(SN5Q7_/{?jqyYWޡ#62OTjmߝwsaRb+/r# \A=2r"Y0gx{ !Wc<[ ,l6׷0EhY[|zұ4ù+]vKas^M ]DӃ>莞兑;@n2LNʷo*qfR.pdw[ù%Gpv4wh\1@wR1<^Ҷ3UEODagCk pdBH]7 J3v ٝ#6/URdD\ FrHPu68$yT8槕t}_ WU3cNOk~8."=PR"fL]8=*C7Z[陱32X{_j,pSt\e%xHnKخUc6_Br9Y1vF^qZ[I?t1qyp0рw:¸#O?r Y'h[@TnmШN#|9 N& @;^RЇ$V'ɥtk1AzӚDY儌U mIO]R':fZ|J2juepTL;]K>yǛ8g_pycfmҳw Owxs=ubL/-AN㮬:wY50ng}ȯۋA*>$j\ãhi͗gH|QZ1o Wk=m@3;B>:%HNXl8\yS:k4cuY{JnU?4gGO~Qiv.bBT鴟L;@GUb[naգ{`U% CqXߎ4~2p߆ EiSgޡX -hc29.t$n-ʺzJ$eRt2o3Hs;XɌQ8]۝Abz)¢2q񮢉T6P\p휃rES-vaSI㘏? |3.‰ҟ\7!…؋c(vg9x\&8cF$2~&w8LA =+WgOd0 6!8S,ÍF>W#U,iG\X;0Oz yl>>;S3L6f6"jG0D+X8?Bf5M<5lԢ ]xۆqwZHc4V0Bf9JT=HtߜdH.Y7,_=X ,lytpDL#TU^p Wy8NN%m~I@Z ߾P"u"Q#GHmv`M3!6Y):'SL8C+*#0;qn x\^ko%Y +Rwrwl^2iP(H:ƄzpqvՁ ]\pbGhFeM*ʟQ{ J9woÑ)yt@E: Mbs*JW+M\RXG}de0j*kh#W%"Zq^Lvpt!$J (oMh\*Z XЕAItZGFy#9<}+ ‹o'p8VhD-"oRJY=KggQn(1^ Z4NxFT妖}+ã\e=M+'ײV KҚ YOBWStbMl:[ 5f*̊09?nV[˒#ꎭ=1_Zb$+s% m ]o{?r;OJׂ1!,etjQo#c,p!K]p"?Tj˙~?d )e^[@d.iO_*c%RǼ|'#oDWnT5kEegƖZ(r y[?<% "^tqhBB<^9Bx{ [D(.Fi,n,vu,ќkiv