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 VV' tt ] Isar_Ref:threads=2elapsed=10.797cpu=16.800gc=1.072factor=1.567zXZִF! As]ŗXf1-8>l޷VO +҄RXۼfxAayDjba"vAhoIɴz ڌA c$%`Kez&Ьiylg/Mٍf_ y*zjAC 3a`2wWٯ1u|)k3 /m.XCú+$ӂi'Zcj^Us:Upxrv5]QI.x"ocQ Pٚ_S\Hg{f񏸛ՎxW*}e_k:G4(-4$86fQזNuՔ]Φ(}{`ނSE礚qgYZ7zXZִF! 94]ŗXiɟ]O5-|01 Wg9Ъ,7G*k<3[{eѡ-RRYP"QkLX#+)9Z5<Ոfg^Wr7By'm3)ֆMJi32re0GGK<5g>A{rA~*LYTuE0a?Po! /Qe_X&`Nc?Ʒ&\a$0ez}W"aKZD G;uP^4B!^n(7΋dwױgYZ7zXZִF! 1>B]ŗXi%9(Pω #Al;ng4 i鋛> (z;sR}xf tp!, 6|$f'tb~\ v|TCf( &W%E@I #qqO O~!e d,>I) Y#R۲fm>hI?,th#/N=1;9Kݪh'A Ī PUԦ_TWskDt/vEVQ >Ԇ\=9fF z )U:q眇Lc 9H[0Oc]Y (#f4FY-@9 2oy|;Z͛FPUQW ZҨyw#^x\D'аZkw聪| px§L50sOʗXC-5(C(['B^ eGqNFR@lۓst'>$:<_fҐD.`޵:CwR\FXӽӂ>FY>7w.Exk(E/:3;ն񩉙/w! :29ҽafCd"\Mg|kl~)?e,uSyO~>! 'GC8hHݠY&X,ԅiKޚ2K&'ƦV"+ Cu?6YWy Ôk{3 M.<3W=bcjgYZ439ebd970c51bd26a7b80f7ecf2ba825606c9d046f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5   Isar_Ref