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 ::C ,t ] Trie:threads=4elapsed=21.499cpu=25.176gc=0.776factor=1.177zXZִF! ]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~ br^[^|V(Ht-"W:#7wfk8')JH󳌟Us G8JM8\h:"z΃U<>@ TC|oxXepm`#) ,gYZ7zXZִF! |J]ŗXiɟl٢ :}*]1pܱsM2>=[b, 0į~4HEEG:T2BLf}t=}YZ7zXZִF! ]ŗXi%B:gO)p mO)NCtw`zhflbg62F:t,cΙȀwR[vL4s_Dyؾ6ᐡZYL'^Dgc'zU^[iZ?_eH]^>.hZ߮[5b-8EK}Sx[ d> HW~Xe)'F2##~~=-!{ *tgp^/^`'}涨x{Oٰ Gl g̃}~PٕtΣ#MAto9PEl r+5A?W'cjOR][7MZQF2'|,4S]6~kN^G N>ÐCtHMg. W3D"rL<8 xn59\T!Gp|[qPDx3 ՔNŶz ZhhLhiEmͭ,`4~wuRpqb~7eO׭1t%f0yr܄]Y|ԝu&9˥WFW.r֤;0 t UzՑdI% a ]0K. Kwi;/KipEۃa撁.0y|$&>){G_x]ohswTΤ5St zI>p)wT[m ۱wP7qDžY-ŴY{ ߙ|T{bR{brOr X+`'YT=K3 4j6 3U뮱YԿU,t Yp$^_3Çܧ`H6Domտb;3F~\a؊" 't& IHF*7pBiՠ "6QSwvULPJ:hzRlϏ|hC-u[A|{Y`+ma'x%~C@Be 5:izN>)yuݭ bfVp$$Hg3/[e96I7؆K8@ۦ74B]irLN~ ;#?˒h\sANm#"^=z;V%*3M}S5Q:G.i:7(K2I8sŷc1}PLJGj0e4|k7xT֫>,Zn.jǂ[$ hk+Vf`=xO2qD.t9st@/A$45%"uNzV$/3vA0I 8 i%hew^J,ؓj'Ư5jGX@AR^`&`sLN-o*xA~^vuK1^^鋞YӖl7B*+ExWu:uY'BZ = $_ߌ'p{kf;O#