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 2 4d ]/]CRDT:threads=4elapsed=15.519cpu=58.148gc=2.852factor=3.757zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&XT;rs ֜H +=aD:JE x3JzHp5X0JS۸,"$/ٷ;po5=S \oَ"gF>uM]wEHJ鲬SJ7݃c/x|Oc&+=tN$"5_/0Vr!+g{Őz ;ŮGo5@"-xJSz jW'0^FB*Lݗ8X7=w5 eLn)1 7}E#EM}=豭6k p":1{L6 /]4Q"+R^i*CVg47(ъ !s@juAR<KWQ6/޷&]KJN7`*5?`KGL~dcͥ5%BwǶB,RM]y w<YI1\x)Bw^㣌\ٹlbL&~ÃzD&hP9_Cg?< _Y⚨vE~7u#;Fr9eNh4u5P[+wA+ A F53Zo\ˣۇr]^d#:0+ehpW|wcO`]@OBW2º)oq7š>T V%o{-П6|v"3*M¢:!3-䝸6M\ 4/H = r\͍y?my ,jDY5}y:lCTMVeZF&"YG5 a A_1KȢTE9z8v^dwI/vZB|w Ph5 Td*Gڔ~𶎈;&t^g9nz#&HP6Z:\ fU11eb[ ޕ}- Դ2CeHx;/]7*qx+_Qx|No\b؏HBPR?:sHH݅;pBՕūod̚7X]KO m=M*[ޝsT>Z:nieK׬޽7Ky>;qk1ñ#{cjV*}cP_W"e-"McycqyCVtesQ_xFdc;unzeay7vym_][T0h5/xIӄA=;ڐ' i8=F\Ն>-Ǽp5Gd'%<bު0[@v;Yˀ3WTM1~M, iS_ Dy7\\eaA^P|t~ ]Ԝ,,t'joK]y& xx/&ۡSb=./>F/&c5jsO3U+3?,P |2[OI < ż;"nKKpKLx|5)*PH0N7ka>MHav"M'ڴ^/Kx6 &r99z{MƂsG󚝲ĎS[)NSsQG&|4 ez9)Lu9 ejĀE>RuߖJvS+saA'5"9RA_|z\G+N DNTr:/~r:vU"@Ϟ\S