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 JJ3 <\ ]/]HOLCF:threads=6elapsed=12.558cpu=40.068gc=2.796factor=3.197zXZִF! 2]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd%0M%eQI p~C[/0Nf _6,O&Z4NbY\ާH,*y-ݱS O5ؾ:!UFuBÆ\6ok;F58܈N(˓jepqܟeUtݐ  h5#fQ=Aw^:.(!-[1^CIɄ7$ݭ%%wZPX]Y#2R%Ͷ'o u &鍠#MZp $|Ym%a4)|ӇC҄!\1RoYk!3>KCjVEiy'rHԖE_hQnjffVd/PL}`G$K¨m+d[rҔѰj0ň ImeX$@*bEFެy*jvxB/Q9ɎL\&֣ R7p@"`Ex[}SbjܾV ٿ`3 =K{97X- xtM7=`U佡ћ`﫵+p.ePU7.nRl 3gYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]k, T]m'C[#q䪵570-PM~P(;EW?|/Tsw*s9 %%ȕ~F:4tŴ.W!Cߵ @!Y묾 US,N&&8z0`uj N&EFV%MWMK&_zMx43%9RM~ z~iӎa)q'f³X^ "yr? % #,OfOo3_pO!YUXGd-3, Pntt56&6{KU;MB_&.ĵ;8fPZ; gp%¸ اQM|`YWzn@BlIu׋b6.$f}?9nojEqTswFpT;_F'X5SٞmD=/jiQek?gڒ[S+ q|cMVqW*]t T1@_'d9Êa7M5ւGvpwpHqv#VhtL@U_j }b=ΫDŚn80">&L; ?l):SziMkS tْ?o hgJ=dQ"@zb҉Kk =>$r”fOhjw8r=GF5Z*7 PxAkt(?/Mז}p*ޑzC$sb2c8PDT/ߟA2x|;i#B8^Iv_GE4iJ8:D{l:VS-o (C#4/}ֲAJW#ٝQv늁M>lJB0ZJF[Zd(6)4Yj2q"B&"H2ޱK]^)1b =?HSO+4鹙HY؍-e%WEs:; <(I;F%cUj3Ϻh[ax {DO.߷TqOڟ%lVQR*)o$+ap\e8٣4gtԶ{!5;5 3 k`pqC紖@8x bc{tL|U{kc a/2<+of6ӛ w"z#CLEȈ\<nGưNwBe$ yg!)(My}-#$bZͮ6E qr TgYZ9202b3116c4e017d541ce381a5077be6711cc725766424c7446fcf0389ad970d2db1fd930834a7a7 5898bb85c565239de53bfad464dfae5b8b608cf4c8ccf8b7113c0fa3dce54122eae569890454b1f2  HOLCF