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 ii/  / Liouville_Numbers:threads=2elapsed=18.106cpu=32.500gc=1.544factor=1.797zXZִF! ભ ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S YFPU Z̩oB\ km6I`;h%!ۏ[KT+Z_j1X<nwq- KI&%vZi?&IW>(xcgϭ+q"(#WZl84SSN'VڍrT {|Tma2YӤ7YA7{EkYRlC%eAEbZ&Jqc`JӦ&%⥇[86o%0gn's %1PIR),]V^/mB)T;, y'La-bnr?*2WPz;(Nflx,vk`%t|-(@jVٙ "FEh%DSw#8[>|>V %Ռs62Tӓ%(ZǶ꛺0"K1PEDz6.T6\EeYruTwRr$ge֨E+OOahnl/}OJ/o[v|bk޵.2d| m+Z:A>ΟԇkoAϮ%} mx:!xޅu.HB`ve1jVVT߽O{7fj=7bHuՖ*1)_ka߭zW٫z / Liouville_Numbers{BT#zcEul<Wn#dVvsK |^SBla mv<3Z뼸s 1~Ĩ/aFͼn5p]S&4t`M"eBKf0xhTY r܂sG#i Ol.>Z2[*L-.5T\떐g7D3xl%o|7&hrҁQ\Azv&{FF[ Qg4ۈsNOʨ2%c<!R•=uFj3*~ЌJe!!H(rƌU%p-uJDp0 8s*sm>ڑu(wi~sCHXaiɾE@C7Ǿv? ጜI0]n2m G"Ed5+"+%òD\'4޳:O3DLSqCnI}Bd}za5`!=/E Pʷ$YnmT{P~Ƕ}Pw W+OE:_E#ןQr!wMB &k|tktFJUV<{zzu.'w C&}hԨo`3 z//`)qS*܎,{IEƾd~JFX]]ΎwH较%7N#|A8U|t7a*Fl wԏSxYoF-[X fۋ}SDcM-PdWyT ɘ0Fa~@%]lLgvcjjT| H ĥt(ݱimB,a}4 kމ~*n F< "ac4z/'b F`QAY-.eUC?>T^ kI2z{oH=6^@qhݮ Q.y~>jt`|) "S6.~\ֆCgZR7 /%ΈޓRʽ?ԏSnMJU4Fk'ةQ"f=/fs눧U)=_Hͫ &(gM9.\K,`EjApiȣ-ܯzwb?2#z;Ol7q`C'ozI vXp/vF)3f^gYZ7zXZִF! ^ ?]ŗXi%HMЃNݓ@a%ȏxp&o  o'~K(+hN-1JMCQЧΨ)+v -|{*21{X^!Sa{(4oUih^,x ҅Y=a1[ t~ &EH+Dc|!hM[Pړԟ,bt(8(11`ǖj&zR@}q3o5 C"ր_ n%54*Ӡḹ;\`1֬79i}{G1&