SQLite format 3@ .0:  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 1 tDT ]/ Concurrent_Ref_Alg:threads=4elapsed=6.521cpu=19.060gc=0.544factor=2.927zXZִF! Z]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtC 8CjJ8Viah tm2UK7pd_A:0_Du3OG̱Mn#Bx!wܜ3I"S mRA!)T(Qe68X^+yWXM?q <qv^=PQ6F9;ǥfmwjfXO87wn0duMNf X!$7].34SUW sTaD4]iQyz2k0JLrіXN K`" 0'il[MڃdR#h]s=Vdd0FgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduq ҦJ0!C{"=K9-yz8pMr&-^֎]%ţ:U#^LUDR7:<.};5}*8I u!8➏2p`Eo ;KyS  b6[=0E RH!>tg?F[>؈Sk@kB =цD_qnv r o?\ia0_<ӨZBѨ=lgYZ7zXZִF! :X]ŗXi%GV!mU-~5IbG1G(c;,qV|{bL w rT9=K6KE Ax߃_`WJnƪyQ)U֐U׿Š`>j{ xqUh$vG`"9 Mk̉$Ė#p}ai&b(a(] 8[X3 ָ"p#ƐD;)տg]*D ?r+;ޅKs%\'SWj#Wi;]VC#ߍ\!e Όf]7&(ъG#[w u%wkA"ëI(07pMe>F3oK+c$d+x-}y@Wr֝坩` ?3qWHwiVyS{8)2V?Xظ0c,2[qȩe@rઉb 2K+2\\9OFkLr-ԩ}_)TFou,^F:e+tsc$j3ȸdYdH^DFW$ŏJ|LmVbtoGLFUR4{=m.'o^p!_L?:$<%y'_N\qw.G4!6@#1NȜkޟIjʨV-zR(b,jC w/' Թ"J*kP k鰝r(!Wq34@wtC G2}eƒ63?7F%(w=g2>(TzcF8dijwm'(Yn|,N / جQnp(rs[ h[]P7ۈ YgvPwQݦ!A!Uru>{iX& k(gi" t!}-gYZ5e3223ee2a6cc95d5bfcad6f4031166229e33b694b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 1 Concurrent_Ref_Alg