SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  N N/! D ]/ Prog_Prove:threads=4elapsed=4.451cpu=13.028gc=0.712factor=2.937zXZִF! H]ŗXf1-hg3㶌 8UA5kGc,SnVk<*f`@?BFR|*T]2U G0mߟnX.nL:1bO97CNoZ`DӂZ;V\?dC0Nc|sǂ#ǂ *4F,s\Zo:BsKYQ.Bpk6ق'R #ETf\UvVn}St_ n¿R[sggN;b~U:@Klti! =/YwgYZ7zXZִF! ]ŗXiɟ˕A*++Yđ+YHz.F)Rv[ى%9-;w& ıPXQ0x0Oow{m1yyQ"G@43JA8/mDRNG"/VWS.I vTRs s@`:yxNACN|JѱgYZ7zXZִF! A]ŗXi%B04"#&Ȑn/l^g.T LIָGl\ni,wf%۴"G N7ߖ{9]*~K: 2UuT~li)$F{S)#L#tuA8Obs<㣭8G D# R2>=%\T!mF!lvȄ8 BCҾԶQ}JeS .bx.6K\,??̼J=Q6g^PHzd܃:oaֽ𬈊|VI΅OMI8kc76A"%N v@HT':d~p/5D1: G`au>ZKG\6"40Xi@\MP>?MeV>ڏgCC/9!oTUpk3Yr0al}8@+Ȃ 3(̕ffD;] _+$6#`RU.431Cg_ ༻RB tĥ[swש~#2Uxb5ZN_è qeޠ'eRLIZ+SUq#Ly'FgP:8/Η?lCq8[TLm Ȳ_x!‚Aw2XgoQX d='NKaNbȠ* hLOW*tЮefE Mi (^frZW.@ZeQ wT7\wNpմ ׊7' gYZaf053798989526d869780bf05ec6b1a452b9133b3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0  ! Prog_Prove