SQLite format 3@ .  YYQ77Atableisabelle_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, "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 [7|l Oc Algebraic_Numbers_Lib:threads=2elapsed=110.706cpu=204.504gc=7.564factor=1.857zXZִF! ]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& GE }1n8}|z&zO"=GUYfA߭H~/ߘ* C 0:e#A u5ø?#!\s,n;Y棒ՌwX&7G>_m0F0 I -#%J6 &iz/z൲E{xPh;?!Y4b8<&4v 3tfiQ與V," r@3o̜L~;X[T` m颥xwP&L{KN EoM,hW/a4ݢُYz~ \xP#!$Q&8-> dV##㸦kqtI`3xCV /<6Xq'I[us9rw!81f:#^ @ޚoy C1տ[9ToZ~QPm!,!ࢡɑa!?)6ނ HABMEH-ʄ^0mxmFMZOFOY*~>e76*:x j˙eV09‡7I1K7M_ T&dL&FPXœ/} m`ļSY /NsZeGd 4W~`Eu3dmÀyf ʰ1<07C*AH|>0۬r`FY%)#l5[sipȠ!7IO26b&>yJC$^,lvB0DkXw3W*`q:Td1M>B͡ ,߫}0ߧ])r•0].04MFGT.娠(O(^hWV/bUeMC9ӯb+q V݀"C0m/4@٣T#n:zZ\2< bAvB&T]-Zj\^I zG .jDZ«?m8`z_`T? #v qXQ[ 8F8Pi_?B GXJR$~+Ztfv;?X"~q)6 7P%+#6T͂DAk;Ɩ"^p5RT*GLXAP7bH~ 30^q͈bȱu4lfn / VfE_cׇg3p܈TFc60MeqafkT k;ℶi,zfξZdLl_t>5Xݬ#˂zddLfaG%>GNAY!;{d2m*!R?w:ϞB)kÿ%򙂘| U(oޟܪ|q AzN@ y,]r,bT ?CG(7k߻G 7 Algebraic_Numbers_Lib1/ 6oZ w4q3 3LJҞvx3Rf lfwcqwwbw>bpۤoƢʶG=R58H! ;rYlQz rzf`J 0;"$jlbaJ: >@am#buyت"31$IOqLr򫘠U>M\GR0^tX YƑϵ]rti@78?xV[Zs?_qi4  8_녍5۽ÿ M 9ņ%Mbx62GΥWm*$NF~dN2t"zWX}Jf@H堀g䡡X%UH3AB.h(1jTK5?{lzޱT؋4AqUs9/RЂIB.ݨqscFqhmO\yh^Θ$ S}(fY#vi,7Q%u褓k+ Vj=:oSJ1c|Px ð7-"j+"βF A܆ibyel$n}꼇Kc-~ەKKǁ=W J~e־_ҽΎxn5 9%md,x8=,`J{yN.nxܺ.˱xB"~8GVKR"ɹPŽ]gэہ*ca RFD9΍OZ naj(J{?NG ?sTf. utA/ܑitlP{>VՎZJm͏wּ*zIrגK٭A3ˊq4gYZ7zXZִF! o]ŗXi%6˻fZ>rv֦YH THy5ԛ6䍳ѼH͋Dlj ?VVB;g=;&6]grlIcB0-7Lp"S4 >.?8LSO\{HLTn@]V{m{H0ݬl9pǽ@)F =젟EwЬܧ#veoɸP1AF"dfOzOʤ׏%0hWZ##57ܻIPd)DKr9.+t?*ޘkI\] Uj:t`a XpVO"}>&}g< l9C@$+o"ş'(Iҟq]3V <nUE!.FEIaޠ .h4 &/y#@Y9>2NbQ"j٨7FTvG @^&w \["039Y߻|.\śɮkNsIN"iۦ&p}ci0$}Z[XgXp)?Wl>S7oGj6A{Uu;b@wJ]^xBa()$"`@gyY~Avz҆g5xjRJw'+D-x$>u0Fp~f;.$'3|gbS};45SKC#(%\ w4H]F86L?N^P0a׏jy [{R6do kZnγzY 4O[kW 0Uq"MhTt9y.4?y{2)Hc0 ~#í-GBo}?Z<f|B\u3y2sYxP3Z+KZuBIjw R~'ts~|f#찓.bҨ Z:**S_Ɏ;Ǟme{O@k^)c^Yt^ D{DGg@t,rka g?J^|D\щT^u(KƹH EuݰI^cA&-K/Uraj3+yU<&)[i@sKe"KEЋWFrlu6ruJ+0XD@*͒g!ɶ~s:"t 8mMjn3qusА.ȟ`Q9\$d+{*(^0xhfċ Ga]G; _Omcm mY֍h?@Ȋ5!w9J'So60:ou6M4ɑ w.о.~y?Goginuo'2uk=aLD5+qg 9*wLYV7M'ތ4&$hj_=FZcr=-3\:o"BZ*}T2%3utԞU2c ;3̠ru;OܭNiŻ`-:R'T$G[]A/u=9}$K_W7@DKc{ˆF.E Y)Xʅ F܌q'skgՐlް{aI?yuHȟD∼84ёo!FљY>JIߙcn#5^}杳Ea h㢨oSqϱZV|Ö/6bY#%ӄ^ֽ?ŏI޶kzAZ+El.s ֎\s:ҟ֮sA>~sz/%./K=H8IiR?8%e!lRBoZ/M\iC ~v#4M%Gצ86MD(;W}Kxz-)ѩꌉSʖe$ϥ_NoK'<ջqh zwrDoK؂g9o.4 ]ͪIYq5<$iQ"-`+!Jl-B_!ZP-^mXR6\/ܩR)HVpΛvd8Z?tD 0=֊' sœ^d+)fM[ iZv{q _@?]Wo6َ.I|h&ߜwqqVjFZ5 Z,&mJˆ0ղxk#~6 5%1U-BKWGU5Q6`ҤkiCSK]dVd_\6<{w|C(ur!L(ƷXd؋ z qqNgfz:um⡢QflH0'CU[T p'?D{{;65Jo1i\¶F. _~MC 3g {.څt~4h>fn_07m#)5i@&R.5\S50a ޸E>Rzy]'שzYG&XAAbĸ3XTf7^rt+כE׊}Ef/nW4e( \mfu GZZ27ؼEYw78K()גMth Ȉ넃P)L$QyD bu5ДSeD!`QL O Y%@,܁vWͩ(dm õ')iԼ|7xy ; dFALf'67J$YC(8ߐ~_9ޟ+OnJcTT y:-hI9UKP9>8:-M=*W.'AfHzxXrwey7e< j[@@/Eh3B Ől&vnvNn@- /Ҙ |F |HTd(iQ;=6v/Ai#x BW> 5tf\:4?g:WNU'sKI~VRy}_瑈Iqp.[#x~Y-Y3&ҥ%,]jZ]bPYs1C0kFJQ0@!C Z 3@Jݯ(F.Tq&ygXPD7wM!u[dI'ǃm %TS*vZuǰ%AWA O-Dކ>lBI(^qF"B'7HϮ &u4`*Ls_RҶu[65zZ2>+ʢG&]NYnW u2ޥ*<ƽCs,RAok < U&?v^G )}xsê?tO9Nbu$H~6q`T {딆恝Lq;&sӌ6)N^:Q|xjr)ߒ#t3Bn$5c < +쉃dc.w