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 7 |5qǷ/BVkS%s.&h^.Ti9f9\%AM? cE4 vpoRdNܕn6mKIanQgNhx.ha.d\{+ YV,,h S4;޾}>i#Jgٽy3d;{Hm 4d4=@y"ulYŧu} bh 6ɪ6ޕaae-] ?=kJtWzؘQ^Jd&D1Cxh]  ROBDD  brU￝[#96x) !юq31$7~s}xQOu0R"gFyD9nw,1>%]ޝ-5&icXɉ1#Z,s>9JjkawA&awSRK ŒFF“eɫ{4MouE#;A ɗ+9#B0[?!*|>eQl^-·Ns 5quXv^POUW lgYZ7zXZִF!  1]ŗXi%Eb⬞SⲌujSo, |fdzl㺸 C5Pwڀ3?  2Aƚud$4g CHqod9l;B{bl8a!~</œǂQa 8'Mb ֟Gk]SY[DX`Rkܭ?λÞhq)?tOC9EgX㌃E=*oJ)hy]]YOK>Wg1߸p{x֣ŋ?xdnRק˔EL9>sه7U)+~z74BE#peů!C\Q?]EւXn*LLz+ QlVQ iѳ TXvwqwp&^tp~**īx!)GE~de!5 \h0Xr znvg2DѴEq"PtG5>-!x} >񖎆O8H;hAplHt7nXW˴c8iyE)rvmCo0nN JHc )2-0BDj.OBb6 _ޯϿfNvkR,5.Lp7p:O>YC/8#Tf~Q %EۖQarJ; $+dytl rjP5[݊fȲ0ZЙd2Z+UL7%I'o]di j$0 cVDsӤp7,3G&u&Cgћ ȉFqp`W&܃*`GW|cJZJ֋@ }Cv&ehV&o{X!qH }eTQB38y˅C!6h:&_N+] ck]K^7=}C 97ʐtD[׃ z 3`9$V['S(#Fcrxzk2[kɏqVr(ш?|N,gYZ84b7cfd287059a6a2eb33339a5ed27cef04cc10587d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 1a57f2cb4c4f948a7b949dbdc8a5748f50639d49 652bc4b287f432e408b6febdbaebe2878a39a1d4 4a3e365765dbb51c164b57461de9ae64d31558f3 d2133de5b411462058652ab7322e81fbb0df864f