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 HH= ,L Ow]Polynomial_Factorization:threads=2elapsed=50.005cpu=70.828gc=1.564factor=1.427zXZִF! 8]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM9rM*qLS%Rbk҅]RѨϠ(]_p<Ư^#DYTrbz{EGt=t[Ԫ:CMomUȸ"1o`^nCqX5XPMWe%ۭ-JGk4nlCfYL'Z(Zf wEYE+6|e"2 zfa=OewC{@R.6÷ד'_HQ+8pN+u/Z~RcO2Wi޳g5NMϡq9B m(*:)IT?;DC&xjxq̝k* *ʘjI hX*pNnInG13PH7m`!붅>ɫgx+me5!_nئnXL30Ėlx<`OK?C***6O] = Polynomial_Factorization?2q1 Z[zv+qo ;rJ876Qzƒ@X)А>IJGٜƸsr9MQP?~0h( F[tlR8R xmҳ,] IH+. t^w])e@ jtCH–(0i! {"V~Ej3w [٨#:_H5o JKEyub0ע9"6FM}mTHgQ^չE#+0~ 6nٕUbfP+tvlt(D1"fO@f,ƥr`T$51F<;ȔmyM聭ɺ];FzEbfj㓊&@agPC2Zኤk;>)ԧiۦ%1eimHe9W홫" zIsdxyA~0)SX6eKU@d' nЫjUŠDG 7"Ʋ[uRJw]Ql!D/62Yh;iԉ0w533YFuЬxқ!;UzH9ȗR㴪o_~0̍ 5i# pf>If*Ö:CO=Kx"ʴ/&xF=mnH H WmQ+ij m g~5"XE_o |cR(VGF!(yB&Bf[;4eFs͏ܛ[MT'0i*SߞE*9| M.9g^ iJ gwub/BO*PAxca,lmM4*wn'ovw&D[*DrhĽ"I~ѽ+}!뛦4e3Syx&FIj\ ֦cDu6nG/@4j>TS!=<=r+K ZjG *Z̃tD`s'FbBmQg Yd{sOL%GA݈.3}WfD{}fғ>-ިe 5Rl`9YlψI=)Jǂ09-|7@G˳#}۝{1nT L#>cKl0%|@xi-3, Chc*ƉHM1Ɠ2fP> am!ԍV،̭ ھHyӓuiR,7oLv{=Y@=PBZv>Ͻ~&9/sof%z٨5~؎'1;'}jp&3 .AW y: yj|_p|&_7mM$":!8LD]5bҿD(!dA#9Ώ nB[G;w_xkf95mH_ПsдlR.cV}_-'a(( N6Ag0uOG}x:EU"Kߤ;ȷ=Ƕ-y”2 #Ց_yZ>{{ !xŸ^_ۖ rTs`HS.Laۧ§߁ p$@ V#4 bs 嬃o; " ZHLu%F{660+h-.M11g?))Z{RRj)) [?c 2p)%L:lƨ 414ÊVHvnh<h*3|yܿ>N^8$5񊀈]6̳_Y&{8DmC5prIo-\ -D{$~lܵ ӴlMUa˱xoW] ^ї4 Eo;ioTavkAߋ7-8'0UnWRy^+Fzj.XbO+v$H(9muo벅q] "6Rdn(4tW/KjʲJM~vY T" L;O6֐d nx?jmLz";SN5읈ί?dMH.] X&n7;~7Հ;Xd)*ɷՌ>#|&MbPRFX#ozcϫtL)T 9:DlNy4Q.j 5*wa{?`]K\3u-cn;ZXsw1:BgYZ7zXZִF! ]ŗXi%BkQEcjQU+~'5ibj^'򆂔׏O20F 2 dž0]h֎q- 1Ԏ [ x"`T8,pޅ8|!Ye+#L4^xNa!l^g mIrfZ9IF 9F%l n3J M ~U}Uύ0Zk[% Ǟ>ZՁӊ]CKbMTKO"3=h (N]nvMbXTO yl7k?K ZB q pW\FC5=.pG߰7];6\1=v4/Nm&h!i,r.`60t)bc.GB{&9LW@7!DK@l"` %%/ v,MtQr k~"A$[_b\N0K&"l K.Q(vNb"~M5LM Q9@ƑeK{aس;Eç., cVv#qKsu)sR^34OX@RQMs>Kp7l0 )*1 Ҍf=(;; AÄ  pȚ `D(|/ &kVt7$XGj7~uYtOB0G1jJ8tg0.xb/Oh̡ĩEĎU%6?iΤQKb{J ~06͒↏fӰ?5WH#9&]l= զ^YK J*;KBw.&wm%V#WmgUGtMW `JhP mg>4af@@ ο@ NFVTQz az{~~-d+:& r$d>D*}+EwV4d7O8m<Z pHbKKft4Z{&a  8u3K m;۷^:MqHe@6?N։f j &= b׶dG~ [T]sq!PA}6CZ/X |tw M_Ij#Ot-O .+mxfz\J*"NA