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 G% Dl ]Regular-Sets:threads=2elapsed=49.527cpu=82.532gc=3.732factor=1.677zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'&ziϬ#SYqT",H1i|ZҶQ̞]:Pr ҐS U3+,%/ݿ-Br[R sN % Regular-Sets+hG͖I]7M{9$f~ZDniq/loӌ5,b59un+:~<;|&y9.GbBt15k!̩B;! +NL]=h?C3`a;pEבUZO;-޾jޝP9=-+O TM+]W w{Bѱ5l*v*^ZkUra!CiL`jnv ٲ=)J*]FtsOC@ׁHctzCM2i ߾Q?UJľPI`ixuu,ߓ0E>gYZ7zXZִF! * /]ŗXi%6c*.`ϕ`0LNw4.َ%\R~ߦP\)*BDSyX@Eٿڵ.D uFw[&}grՌ؜V"C#Tゟ]A{]3[:dH<͋h5;Y+*ك`E wi-{GVkU8'-82ݏw75]2E 63X7,aH,%uoB̘N:]lN5Zyp}b DوTxzWkO^LM#UMְȤ8~]eWF_}7  0ir* 1/C0qN-t;DD ncORrDy{W 8#P0p AV[]3`PBBLA . PXhIٖ|e c'wB31>èG3Isv4myD\C0E}&jS6fE-^\ƒ` I( c/vC-;Pɾ/um7'Qxx_3LzpNSk7z^fu >Qh|m[S?jojZRI. a.'K*v!p&G_|^J0rxЁ!\``{m/l* Bza^!q4!ʙ.TN;vzjhC9;R@Cbc?llU_ d.<@H9G"&O8G Ir.mXI.4oF ja5d]/^HP"Pyz }DZ1,b-@eCZ?yW^@\\{ En z'P=>/CiJe`f<*'HUQC7XrI`z\Yz6M3lmC[hbzF~Aol[쇀T K F&\CIi&NBNHNơjH\dM$deE얡|Ȧ}dzXg,8hIZh9sC-Ƕ;m*V]'fb1jP_\Bp]oj6VT|` ikSQH@/%WHŚpڶQ,->CAut1/LcHWX@<(2Djع q&.VHr&< KH Z?Hӳph5*+rys هș9-^6r\v鏢m`%pe$_ޓCtPBc$MfTnU|:+ aGp Eg][p6y_).2] $|$*ܡacCF{%hH?1>P;T]\ ƈds` Gk"ξc[HZIxN3eGs9<1K,42tt˶ ['EVݦh"Mƃ5tˠ'ȾRw<瘽a˻{@-@Q2i %#9iFx<#G -"S >,d`9R(xDϏSRjgM) GפG?&u 9S*&`(V dyX eFƢcO{oMO@bB%ubhu` ]mA mdž)NU+ڣq!%DvHhO~8v]0]Fo m}5,pVz"2>FXd"irzO+TU`Fס݋eyyU8s42Nq荝_Sqj-74*bk;P1S@x A>Ƣ3a͕ sL?:}C[OdDR ʹy+Q\ }jz蓟d(i>k$zQԓvc_We`gE_Dn UE-HK rdos2K-떟i gIZEOQ3kL֬os3Rz$Zͦkf?,')#aUv$ OrTuB%Yo& M (m[m]?/p>qtM&*`y`9+fӥ }X2iG뇗qlP]m`R-P*odTA - 44Iu3qV=!H4#uoQ| #NXYbgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed 30a1bc059e0e0e6e5c1deba4757bf160c8a590ba 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7a22667c57f746b278085651b8428b2a3e2519ea 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 90fc8715f2dcd7cb5d12051633b389153ad73166 978f4c9854098616b38bd0614a930e76821c454b ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 d3fb91c47fc3112ac31920e45c2b8b27c21094bf efc268ab2b9e37dea06f9f97a5a2ce0798e38505b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b7961322c66c44ad8a03fb0e8c2e12abe3a8386ce6f1