SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ;;B ,T ]]]ZF:threads=2elapsed=22.714cpu=38.196gc=2.272factor=1.687zXZִF! v]ŗXf1-) enȈA XR„OO25oUK R \=kJz_2kP=.1 4&r%u@g}.dN=HfᔴL*ۉ-{xG<ڦ˝=W58R9L@jYh|S+ 9¡L!μuD~KH-;Y ,(^ںϮ78 ]#W[ZFUPHP[ }^g,imZSy\zu( )#gI7]#cl:3e:+_((͈ F~0WOu EEBޱ q/v\du<&- #̮4̏O%irJS:ИB&π:8bSgeH`uAa9.eS&hV '-&~ў /Nyt҃ izUϾPwly{Ab{+FvLӚ`c+" {;7U_"!P>ą"frajB֩ GhL>푲>Ēpp+BZ@>6Z|\20YPh)"'Rp\W 4HiuPYF\Qƹ)f8-zf< ?u )"|L~36nGAuK=ԏ9zPPGKY8u1>_3f 3uWYP`64ĦMrQ[7ÅiAFh/6,ZrhgN4bO'P3yE<8O(Xrwǘ#>΢[[a#tA'o Af2y_5~!õUoVA> |툌#S[(ݯҏLwaʌhS/ L-X>:#|֤^վ*;[vtS2# !-FODi7C;gxiQ K$> u^~^5`Ի.khUNb8@nЛm< dj\Ap(6p7&Mz3[͜7[n-mX/SHZݭdR^K oF J}"V*~^gtn,ѿsEl>~I'b3s{DR jV%gQns]/~#UaQV&)6z ;m$SUt~\IJbG!n{n|r!;w(@"l <Wz6nRia&HIlʛK _WgD'\ ʘS 7L^_A ŷ2L\ZQ=KٷE$ӊ֜M$ЭX  PWJ 2bث!x_{| CnGL[nl#nN9Q kj\?j T<ܪ(du쟗rZo>ݨ?`gYZ38057a1194fb4377aa95ebcfc84b1ae4f95fcc6762b89b746f265b39aa07d30f95ec0c87cdd2cef6e1f33615ded91ff31d28c00091878a43e56b4682  ZF