SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 6- dl ]/ ZF-Constructible:threads=2elapsed=18.213cpu=34.912gc=6.644factor=1.927zXZִF! *]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}όүS.E~ 5VCUБK>) Af߶A-,Wm 7R936cdVs_TѬ3HogFmNEܔ gGq Q{\# ol ݽ}I *4@/ģ r n(>GZ&䒈Z=:p&Wz9Yϟ_P0Tvg.r^ASgM-z+^3Sy/=1V갯bZΆM34֐zGht\_ud%nCaN玔%ٜݟBSoJWoy1&{RGT(,'F-57ƾ: MpM}?zg%E3gAKrD|ЙQ {%j%7nU8*`Jo0m}f_У!|oĂ&%p!VQvW8C# {/6ɮ7 <]x*3lDEox|ۡg!yC*`^xyHdS/i?׳~މR )]$R4 3qU"-?MLlLG_D71I2&vahuWLLnͭS^dv`:j-AE_v5<ܤT*d{#*;ݛ/?S\iz{$ޜ| 6(, xu9:h/r,曣#ak ܭȶpM䠧Cq3(կ4/CG Ǐ.a#]j28o Wd-Lg%q٪;{hKwJaǟn|^!1KAI"@Vsutg¥ $$oy~ït?&'S8$Z7oT?x;>-BnPܦ FYE>EUtjZ:J..4^`]RPCi0Gn; 3N\ABL ?ٍI 6p#"&%e(oN{x=e']OsNQu<)"쿭%gUzI=B,=Z΃( .g|xA26G&dX0~0bf%ʫc!~|w(h*E:&wLǸW~; f|fɔtWJ4TKB3%ٻmV>'hh82׳w _"QQt˴6`kPg1 o܂[.&{r8l5()v ?f Pa tWjgYZb41861745eef4001a0e3256b92349a61f2b54913d2fed5b8463a719e2f3fe546c701ac5c0e920ab5 e7bd4a33545a7f7f3a0f51507061fab5641f6db9 - ZF-Constructible