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 NN/ $4< ]/]HOLCF:threads=6elapsed=11.961cpu=34.736gc=1.900factor=2.907zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6` *mԜn 걫McC*2910BA+9@B2qAנ=V*ArB뚱A^>tOͻDMd's;X?TsQݯc^eF(W$vB&]ťzjiaq$Rz-/iHLɓВS㲺m|zp|`KGO6""R$ݟkyܓp3tLyc(P!je+0.EsN67;(Uȅr#;AuUXuZDC p fSnQ0 a!"֋QEMלw2puԫFj051Y'F޼BaEZF1?צu3Eq^*"Vch#P rC~a=&(&$ o^gm@C׊/W RV͋YSАQy{},J859Y~Η \zv$u2ċ؆kFץ]qfOa j ?Z!%gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]m,)ixܔyVz.ld1NŒ LEi@@9胫 fK/hΧLi}j MQ:ڈ[3^ie/tge;%~:pԏYQo6B!`6A/Dr|X}W x @c&]Rzl+n嚀 1zr-"Y&F%Z.P7pP\ˎLGQz)_o@#g/sI.]mfT3ixǵɮ.(k)0t)8Z=tP:SV 9"Ij~$IA֟״CQK" ߤqHH0'w#`5@M'8pqW"cFn"$NDqY迓bd^.- >HA_"#u$zg~DGgw{3jsxǼ Kjg&fX\xI$fWgYZ7zXZִF! ;]ŗXi%9,z3PZ ͳ뵾%.ޯ#ڊFEv@vya̩!)yVm2~.UG&ëH P.q:?Pwi'D=iׇ}ܑ-`n wExIdގO"Ǡk&A:T (3ѝ!V5&q. rQQ ;#>Ww).w޽l~/ Nf7*y=qC*,pL_g3|\1 }`r0[)5 L*t>06bկ^NAtgmr;?G}?v8+ikax75xy6R f;qbUenv wgYZ11fc9a2b54eef9b8b4f043189a0e1fefb400731958d0f01554815b2ca2b0ce1eceea445cfa26d876 c68ce415310124a77b51aaffc37a88173faa34e40c31e6a59f06ff3152cc5cc092bd2aecd6a359dc  HOLCF