SQLite format 3@ .  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 ""[ lD< ]/]HOLCF:threads=6elapsed=12.474cpu=39.592gc=2.152factor=3.177zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd޶*ſ+<@N(dW 15|8$-f\ #iA :N>rf=]$  ܰ&+:>j^ie î[1I4/888,X[߄*xgezpjMvzP/OsuYbn>տ41ϚK]֔ͮ(fk8=Ne[L:LgenL >m1]A047]&NtIZgSlT*\ēv|ncp/䥖duvH1'1wȉ]h-v}Mh#D|ro$z*S1ik2P"t=Jn.V}B(F1vϙU+([nG=[7tq7lJSG/>Lrh]a "U0|22BQ77rm0=EʶhZ9Cr*)8I;"رH{؏f g\oRÆ-X[%[͵ N`9j,D#v(*.dA?o̐ l$ħsTqSaҼw%ϞgYZ7zXZִF! Y]ŗXiɟ>Ӈɇ9S2]hα*LpD_ `57cQR&ڃsx|Z% SEhznB \[uU6'!R)GcIt$?o`@O1'\o[& @5a)ErW ցL9#'ec0S`YMVa0n g8f '&Xonnr<6w0Kov"p0[7^:9!4B#!'rwJ{!He. "oorî R=r1`(KRD8_5:F&R;WtSFNtxnmA2f!a56Ҿt]=!!cO8f$Jj檎ƙζu$JeI7ZL2O's$|bY3Q]#E}2ػ3kP4vfǜp5QԣOWmGvlBAQ9! :^|S3ej"*O?>jT@FVQPAvY PkIsGyn4G|zi"QĈx_b7|{ =1SMsڒg6*#./ȄwG$s%KvXe-_#t8e11OPj%~AEj/о7Ʌ*"7LS/ADE ua;Ƿq @{uI},h!Y`g߅wB^\c݂9m6+Pvȹh">F7i}O9Xp p.@+u|&f}gNN$4appz˛'H9\!'pK6rJ[?Jp gW;;jfkOAby;DW.ێmNU|=U%|SzlebH&~'7wJБG94l{!ENb.zln7@N ֯[X.ţ[VTu;Es9p(I <]dhcS×RY>Ui}8aO, g]u)r nQ?՛ГG##;@DLsC7Cy+Ѕ M x+C<]t4r|݊ xZu 1܀l$mabNh0^XY8գ^s=|RXn[2Ġi%⮚zev450J?/pb +\I=d66 .WƸ=h'Sؼ'CVW-|E`UPyAZ(:ʒZtrӝr_"⢍| TbGD+]a|b0+mk G1(WZiaC@ ;Ѯ3U-h[(q78 5gYZe90ab50974e3f40df2cce4b630c69ad090d1e7b7126b3e7210b637747af3583ce8c4a1dc1eb33510 86dd0d4663cffbd9fb337dc820aef4a636e6ff503490b70c2af2912e9674ea50e01c157f7dc68381  HOLCF