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 ~ ,Q1܆OGGռ(B)? rX$./6}@nz?5ɫ'A5DLƕ nVrP^ 6Y n@;rݱ1F._Pe@zX$ʙFʈ,VoǟbqbB8}tbQ~)2Үx\E,6bRFW-ZZh:{S] 0/gYZ7zXZִF! ]ŗXiɟs}KKʹb! +W9 fGFMBr!:W- e&.t%"G>ɼ s[9+B.?= $"].(~Dd@ ftJ&p66T)cᙉ L.1WVNb+mӶzI` {YIOү"|z:5I),u\&TP ]7z.i*=WU|R~?֎s>>)`KtgYZ7zXZִF! z]ŗXi%B:gQp4)Y 6ղ(];7W2LLe&"R*tmlm>scpGb5s%a&L N " *r:ݼ 5DǼC& Ixl4PLg4YȎ$(V9!7Z5Z׬Gh u(zgOo9P xԱ&v7(_D5UD$tڅRf}'J ] 71},vsr'G q_".&1"GQK}-6?WiٔkL! 02/7\ڝNsSh&ݺM8|C Q1P|藨2q]F u+ [`}7L_L=8E|ja$sD=mdțt%oc(hMS|˃/& imX#΁l@'?mE'~=цBMKg7cP)z}{/6i$-0D[b";p$/2 Vb@72R:wwH:{j("~3 gUgpc* \VBr !P .ļ*_L!*yTsʼvp Za˒r(4 ?]O}xGWZ8dEX1\q{T(k5_^6HAźE6'jK,v 7, < R){*wmCE!5_ʣd?w>:kes2&^D2sB;kWρ5 `;[`EJ"mAՐx֭n^M\6SfzOȣ2X;Y5z L5W}\@oǏN6n,·^kyP,Ys! xH5ϱ $zUs`Vڢ0sz|NŤCx;lopB0LUT?L&ǿ&em%t|_*PI-ɭă9)gYZ1291787d0d2b7a68698da4fb88664848fc4f184b13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5  XML