SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ++6E <$ OI]Pre_Polynomial_Factorization:threads=2elapsed=29.936cpu=59.552gc=2.704factor=1.997zXZִF! Z]ŗXf1-/6vR[2ө=%C0A9RJ341M [판;~u/ , =Cf 9 3-mN FpaIVU$ c.ζmg,Q3{Z zZ) 27;B 4y0D/91ьUP[K8\=& [X+PņQ m'a(Ul0}l'ˏJC)~#ԝ~4ŗGkmZ^b X#"r< =Qy@~~Ӫ6{ǕE:3!WZ컺:^#,P"&z17=,ߒ3v;a%qVŎweB N3'wMxa |> #r<ۿaÂ<ܔ#ĝϺ˷] ё-t$dU=y ~ʄk9ԬC W5[[|ǽEf2 SB)@'93}Mꍨ$5@z}8;!\ަ3 x(Jwcݜ(!x>ޜ7 |\ !Ϳxh ~vzXȄy&2*A*UVIٷԄhTW!A'dmN4^gңrGjOXXdV0u4|W]Zw~LF`c1 E0r!Ù٣6%[Q3"8hP)Q)`eIĸXq*=j7@.6v4j"չ^p.lxlr =j E Pre_Polynomial_Factorizationk16}!Vh`} '&^"I1z^&Uz컏L6DbqM4excF-E'Q܏Gly$D!spu>YM}G]ej;1^Gbk,_M #vhwH\`6&M޼Z]@}6ǿ&Xuz6.i[5&BH 0+F2 [jhnUyeud5J ((׳qc[ `$=rn7MI4wl'#^qGOb1P>!1wYb7EN&8IIv(q;&@c}H 0KTj !09c&,QS:Jhrܛ.*NǪ&]$ [dJS߾3O.x`F|&.'uEPq̩}] 3.*.C'Pr3V\$!O̐Z87@%t A;N &ɮu3ԝ󑽧 23=)kyեOuw,Dɧ݊!LPDJ,3:~G]a?>Rt`xufZܩO:dM;ȓ;\%._v(k|;m6Vd*a7]b4ȈEJxnzfQ;!!3tTaTUyɟ/ ҢqmT#LR@_nr/L[䘽胀t3PHZ+T3.Ia Ӌ(Kqʐ.K~.jțӃTqB];/cWr<Z 2ZpX[z,[٣eq6qhkNe^` xHzqfYajlxAh%(!m-ݵuRW:dYn3sO8Z~i.b!FLV=RDѤKkD׶ 9#W.\vaS(3 Furӻ<`Rz. TCz#,̸6ܳ?~x R9?#Kq:,((E{4=)!lީyt?`5ݕ7eD\օk s33o d"|zH2$؞s*Ax,MF*6uͪxbL3ٷB83$Hj+^ k~xV&E 8ۛ-Υw P#q{3Á 'S7!&CrF Fs[$_w|%2Q6f4|n^Ҥ5rB VREs!56T2Tl/yfm+Ld[qYy{6<|JA5( Hߋ<"rS O tm/WjF$°D 1#"HRϽZHXmﬧ^ 6U{KzڼXù^[(ݕ3;r}=#1Q!3$}]Å\TKz*惪3B8D&ͦ31SZk6嬗vC~^"k *{Nfuc?) <E$x?<ma.*B'&yC =J)A`Z3ޏ9]@rxl~ƛΞ~-W6t2?MćiBqnZ!Ƙ!`1J:}4`׉r~ t.m.ʆ! diܦsݡ:=ܬ$]/(P-Y&y]l{v8:R|Єcd*$Ȳ^U@ ,diAkb*HҐ2>ud &=~2bCm6dj%Xk^ix>ɪQ fGԢs !^@v?T]OUJ, Y)8Tc >B=>#$n6> |֡ ~g[ˇ{ʞJK{ c[Jnh$DZ֛Hf.t l忍}'BJ{L ě,l"NDkW>S&ئoϽdM#cLT=|"ûQQgcd(WH_5?rhwßY>+!TF_LSx=Mzm+j#ΊC7k{9 ^$6x-V7. Q t^Vfӷ t1-'駈A_g}>%HO)Y0x~y4DYfB=`OL)a!vgCt VR,=XV>Ɍ/h}Q.EP;ϊfcgAZ-o7p}X~uqgwS[U1U-/l/!e 53b`0.sԋy %2_Q[v3wGc^2MnE oO<6RQ" gvZajƭez? < Щ#QlKwUM_ W$}_z藆̓-쌊ؘT