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 aE | !%]Pre_Polynomial_Factorization:threads=2elapsed=26.655cpu=52.664gc=1.932factor=1.987zXZִF! * v]ŗXf1-/6vR[2ө=%C0A9RJ33fg3k|gXʍQXc)הZ\c\ ]AȋhWZ<36$rtDžQشr'd*Cm_}ꊟVU[kI6Y *zC LX!F1t%}ݔ˯-Uhç8Qt)NVLC2刐 9إ0}eR E Pre_Polynomial_FactorizationFòE7҅qCn?:^9,vb t: /E](mh R菩\(~+(9Zhe=@*$L1 q_㶟̗ABypmcFblMl+r=f'̮,*"e:喻38ZNP=s۞mL462Y)9W&˶2hYMD =ҌK<+^]VޏpD\*;8cӦ['$amȀo@.SkO~+['Dpv\F SO@Ԇ'Xru5z2K0IrIs8<'<OY ol Hl&^1&9#$Yr&>SPDvB߫Vx 6O3tӠ. o4W`btq/hTl|e9Y_ 9Ft˗E5M"'J*hu2`X}EA-Џގ o |hW=c\0L쮲cwd#4jj / pUg(IjBg\qպPk%'&F +(ESsLn9='i&z!u%s`cJmA2{%$#@)CwPɶ ,?Ȭzm)0936)$)\`VQ@aFݞV{J@)Q#PQN'K+zɊE()-`$ h4E!:4_畂vԄ8)mBj;C]NgRDO ^A[ᩛr-"_YRRsK=%D *r~+"hX"][DU7ߤ9":W 8 ٵBApmX娉@[Ej9NXkVsgWASwvYn+_Ұ\ {*+mB{Z #DvSio ̧*5GU-W( ɱ㽰RcPsGmzز#a%oo02݁0O 0p2xٳ`jC[ՌpIjK3o}fLd$AȾ"4-ߺV_=>$lS/p3 #FS)ߕdQͧ.93JivZ4|aUh?aFѺ ! ;ɫRB RqZϚzF5@ҽFY5 Jp ]-d<"LhA{V)lI⏁22ǖ<EʭN>>.c*W3/hv!ϑ~,(^Ŷ Bk`QRJsb.ߓfEpG6 5K$%@AE @zd9ʬ2~-d$z=5s q׉Whpְ}lh硱cBPɥM xǥ#ZW$Ԑc_) 3ȷŚzAFLǞLjMWWLL!@%fF@7hBc>k-QH5K&Ie&aQFrP}ML^Lˇ'%p“gH lyDuKv|;LiP,Q?JC*>f +Ycy{?r-Ҡ^DFѠy0y/v|M<,;!ob9>D9OWP J>4]w!OJ s%'9)s;I*$}7^w6\UnGˮ #tYP hAF ib @Mc?UaJ\oUisʄ:ߣg<V?t" :5D*㘧[TjIlBM+A0-Ԥ#N%pڈoRz}5uVPayݏQmB$nL@^ǃmJ2=wmYI ;=Q>/H/Cj#ȚsGuz*oSأ+ycDhwaC(T*): k0-0~ fZ^k3taM[΍w߀agWsӸcS_8Ma2:k8^'g' k)>UD׳u L "tOxٖ.gz3HQ~_.3b QHV'L je*C:~]Cvwۯ)!44O WDF 9͹ BGϰ60H:̹Q^g_"&7(t@*q Pt=~E,%ܣ~m`tԭ_q˸k P (8Ӗ Djp _!8Қ2ҳF H崦8CJ& 7K.vt N=<  ׋oZsI۝ +HzlFV]xm7A@ׇe MxM{ Ӎ%td7Npĭ>{[2$k | &;]6k5Eg$L9]zO-* }?8G@gYZ7zXZִF! |]ŗXi%B59sf=%WJqjs ɤO>#Y~z=:>wPG̳oVYF "VW+Y1NwG.@rҢoc3m/,LFa$;g!ȱ'%{H`b+/[r@c=p>]Ҡ< |wUjgwN86PKHcNxi!vOP`cpwכ-ȱ  8sUE8jdrS,_=h!RDHb?zy~}Y_NuK%ٌJ[~ʍ!8fGYJ-|!(#nG)@nT̕)C{qJj 7FB͟m\ݦ|ܰ]C@NA^嫜)fy9|9=_EWШv.% GƂ >1wF"| Y 7uLrg$s hl턩r5+s ]é(n'Z\y":(T=3zlM\<{=w˔GFZ<e!=.n&\A|E@?0R>Oi4HuDG6XXJܭԅ7 돊)ٸiհOQ6Y.,WYuafƾ+vt(M04-bi5@^sgiQ#kO d X!BhCe0yZPP1NV']J2Bu`},.P,?nUn.=z,~^W8,Z#ooo,Í'hnUP'eE4Jd ֔xU#M&i浆݄zSbZezN#x %}Ҽۧ.Qqηxnf|Ȥ^a֘mH.? 5Hkѓ27Z\u:9?kI,S<:J|qdzʎ4y;P:+Β΍A*Gzg8i5wobT LuǕ6IRKaWR-`Ǝ_4Zmx /Z`]m>vk9h뇨 wv,ȱ <~qkU[̹@b2lh) Xwc gpג" RLd5|H1!@S]mm pa>2 $:PeVOLB@=AR6%Ӧ raʔՊS +22zg சixTId{.L(D+/}6F| =,~ aqqX!=LEg@;<]ipg݂i䒞Jϭd]~^6hj{pG&4E:(F)WɂgϠ/su}xd| X½;TU=5"*6BjJ jڪIaWJ#i~;yHR:EGp׏0SM_\)a`nKL,hKC/u!oK^T) +Ed5k|ɫԺ@h/2i Fah 0[BMp\^iUl˱gYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 11dfd8947e6a414f9ca75cb3a3ca493c6101dade 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 8d31800ff14de35d275f6635e9c6d24becf4c94e 9eed8fc1f6c54686843ffb969de40b88bede13a3 9f9c809496c43e458557929e05501a0e473845af a4270798ad44a0465a9d9638f535830d7f5331de abbbf0b5c7ff3eff325dbb040fc790b771a30e90 afae7ef8fdfade262ed0d0a2034c6c5354fe76ea be3f57299b27044d9a95701a925c40d17b38a3d9 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c dd60e39f2dd4a5069421c64b7763cd217c446055 f9981decc4f3e052d9bdcd615e83cee4a6c1386b fb95f77c833d5900480d2f848ad5205ba889a418d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 c13e3de1e0be8d1f8e22817e408018c478eff10c 1491f51320f29cd36500f37d0b40b7bc52a5d191 5374f72e4d493485bf3d00ad3b0c3d62397ef50b21506343d557e6ed9100027bc7b830f98b854782