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 ))T1 \ ]/ JiveDataStoreModel:threads=2elapsed=12.557cpu=22.088gc=1.216factor=1.767zXZִF! z]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5!(/DqPG˛4<(kUݭ5λgEcMztR^GUls%vǒڷ1uI(z fYy[Z5:a(nAlE)L[_ ]9"bŒJ*ٕR!bÚWu `P hsIWbT"l f.[rmI*Rٜ`|(V|Aq!7pI3]-HEb,0hUޮ4I\k~k@r+-t䍝}XJy2>@9TgYZ7zXZִF! ]ŗXiɟN$s2a§2M:J1!J4ʗ R^֭eƴ! O){F psnDŎw/}yi!^^kB4)^j6>"9pdV^|1HWYg()xxr5ЄOĈW#Z3 ̒&[TϻsLc5gYZ7zXZִF! K]ŗXi%;iܾV; H@8 Q= TwNLM?'n.!K&wG'MͤhLm <69Q^(9VU-moo5wh%j A6;$&ڑ6@ўbdYkfq9a|N.'CG5Y|"BA9nCDbxhM|["9xJSeDBujS%avP(֑eTƌZoI\XFDnpr1L-/.UOĪFlg.O8~ f911GXygW~Vd5iFopPS ňE(ma↚U_者OKku"8}x(KM>4zQơӫAуFvOl-JWܸ\( eR֨ 74ˁdAk M\6q, >w8f}Ǭ*ّ˲ڙA\p: :6&>%ͽ">ViS,NE`KօL}_)m嵪thw;4@(~T]@ӓJ}kN_(nfU9/oA}s8.&/8H\[Vm7/Gы3)in}E@=$gLd\RK>0FW5{aia&ڮӀބr\?]+i`p 뱱gYZ3e357252c42b10e5c460a04bdda1d6cc7509c6bb273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 1 JiveDataStoreModel