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  ( (U/ D wS Old_Datatype_Show:threads=2elapsed=11.036cpu=12.636gc=0.368factor=1.147zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$$ūRLsLX%hEQG!@lDRU촙L>ƥ\@RtOb+E!Kl>lo;,[lHĶ=9e !ր1IɺQF`2RH =' 1uoWe|c(t)!5adh FOB"Pa*kgH+G^nҷۉskm/%JO&#Mi1&þK[l'a! \@l6`@4‘m!tohNe'UX9x_^]{0exjf&Gzhu-ҥG(uvM)_6#G܍p{ME/ڜBE4!;pc+4 P#.r\2h<\RDΦzy':"bxSr.4?LjV6= 79];fM;pi_=ymFZaʷj)_!XaĮOUDJMtHP+f=k P{ C\Izф!M9k(?0"R4m&1 x^ y2LuyfJK9O5w)CkSImS-)q"'24Γ(cnglFJ%ۯdGIrɻpoꞤLH A! <쮑 z޷w2Յ1a{Tzb,)Êx Z;2ݤoszq0,Sw@ hx!(0k촁gYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 342239bc62d91bc2e0e8e9dccfbb34363e131ecd / Old_Datatype_Show