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 & 4  ]]]ZF:threads=6elapsed=11.408cpu=36.764gc=1.944factor=3.227zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(*JP - }lsFyӀp,3pOu fA1^:vϗnu`>8, ,)B**Lɇ)Տy5k`MdxQʫB.ք@bv)r֚bQbɌ꘱tgC9dž-h\ #eԛNm@d(7=9oc}s5JDuz1CM.6m$w{̩,H]\dG+%5[:ǹanoYHIޥ%=R$aLT(BYP+=*Sn.E}vֱiǷ-H|e}E*LECWMS WIZ9 #(&8sgYZ7zXZִF! >]ŗXiɟ 1FE`穵(JZh=!'4 v]+9=i៎{_ gSw<&:ݑJ?X4:`3kc3+?܉|i"q鎉79n8)灍ٷU wY% ${o3>dz+I[52"HLP ie*3RrJro7#MFDx_4[Ҿh`%U n$Hyqޑt23tdkƇbR2&zQ7jw e#ɣ^Z9Yjҏ{dEiFP YS^E])[Mpv4@H6yV?b6+.,*M6 Ǽ._2zZvyeY|{a[ʌgB|Tի M\%͞RY0yIUE G2N~ FNw3TG͌zxhdI_7DnhNtsfjbBMKܴ \_،[^F ƭ^8&bG#jָA(S+X!ʥgYZ7zXZִF! 6A]ŗXi%9#iV@sX&FG}Kx׻ {tVR<]:1gĭpQ]ejxLJ!=IݛӤAd pVzɣc:yxh$HO)s~v 5{\%&Qƾ=V9Uv oO-Ajɔ(WDN~F BW8 j^}< MH@M)C \˜sR'#O.̍uCRr[B*Nlݒ<#n-˖xK}(06P#dO*JdqsKIo\67e]'*"j6-h:G7fLh!B ⧗SSdWze"}bs³VT5UEK#wڶlUod"ؐ̉ŧ;SKbxYT8 gQFԦ'\ߡy5)v+Ps߽c`"ɇȣ苶.t#BKu о6{]$j7;I !qw7\KY?H@AP(>.Se+1BNAH̠i]?nxީ̹ky.P]6:& T|/pҔ\ny"c2J =97acj/D k)AgKgSBg\7.Zf> `K>znGcU{Ҫ?ɲ(,*9}n~)'9ҟ$Qy!/nOsWJs'=M nٝ_v HLu=]UD_`9l՚`)zh|)MD OpmW5e rI,cL>?l9ж5 ̉4W`l3]u=0MaVV]0*>͵UܴC~oʤ2i+@_L9Xx{)Ձ;uXs@fRGstJ;hKѨ\  lAѱgYZe7dd5fcd0f73b8f0d98ca5570d3f4b7c210fcb7e1dae994d72a426784accfc4f3275f57abe40692612f3d1cee3628adf46c4dc9235e8a7c09e422b9b  ZF