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 + dL\ ]/]HOLCF:threads=6elapsed=12.416cpu=39.868gc=2.220factor=3.217zXZִF! =]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{VCM:P_g ԯ(m{t:gIq tCnmino+&bfA nMD3v|. lI>@uJW^yf*ar~+B@'Qe<R89P o@2[0si;(FGy *K]Sʑ0 viK'joF_#瀏OIf$ ;T, +7ZٱvtIQShj#L].wKoUwaV/ܗ_d{qKP)G ps3NZÄ l;M͎Fx0뱿 z:*Ihz4&i &B $=x ܤ21PV^+O.\HtOѥ^#ƕ_~ h*ɑYD@˔;`S{P*]X]FD)%QS HPɫ6sFRrx%vG?[MBĤݥvo0;nb-^󐐟d+_~iL-^kOofkZy5kѺ%ɶ'd9zΑS_z'<0R 斟kA"MRxGm{G |2= $-FgYZ7zXZִF! ]]ŗXiɟ>Ӈɇ9S2]hПGʍؼ?t$w [-F_X4"C ep6<=H2ԜXn#"kHJ eN9a F1|DW~ˠVLwAD~f? lkm:SC[ql hUt-ׯ)XMKH@rhS6i/3,3EzwLeb+y)ڿQEG?OF#hC+Ǹ}DUl1Ս >^aIo*ϼs CE7+$W2fY1O$C#aYjbcHwK!ME=b>S$)8n:h;#&;H3vv!Ӂ~th7V[(rb-Wݰ?bD ]#).Lc=ΟF򃏖t`g[%=&Yj{-BcѬQ޴YzwV3)] -q s`Aɞ+ 8,`Rk f$Ԟ6@@AipgYZ7zXZִF! H']ŗXi%B|yp&*!yM6_t =SUu݄xpҒwtEp:C] \&g3>?;MD)=SK,MEW;>Um@S [,gв\mj3=>wG8*)Xc_ŗUKt2!W}*i˼\G=% ?qqhJH u>~J _dr[I{> ̆7r㧧0sd+*I`>C_@Y-Gk$q| T)1h34q9ܔ|Z +k6<ÞW\t3*Q93@5ϛo5+U[1$H>$Ʉ|OMH<lLO$JK}4( 7-73#/MMvY.=eu#i4:v/p"7 ,I%|~a٣t.?ʜ4דJ|r&\ Hf2 __yw9;`r/?Ⱦ&yeQySшԚXknchBY/'H vzjGE}L&A[x^C㉳1&KT'!vX4Y4JQީs~<@G-^Fׯ䪮V?PR湅9GDGa{mdVGR#!^7ۍ NB4o81& j`,31!tjQ(>AVHHq"KBme0.grg>](VZ/*ucl h}v/Zs At_E7$2$G?#W4f+n ڭ8ē#d#6^o/N,MJ~(F sHS0b7iK.fݎ<焅U)q]T^{J,QR н)66 +Νch͑`-3e4ߒ@<6Z/dsޤ(8?? Hn%5Ĥ[}0^:pB"o Z*Cw9L,BNEM r `pz"|>Nl, ;)(Ge$3fg#fJl:ÞxBCh48Hғ31LcHzF(SD(C{%aMHA([n\$YK Y iֈ-Gԭ~90cd*=#/]E} Ư-9&4 פF0a$*pH fH! m55$$R qN#^+ z7Ĺ4Z9R]릂ޙw ;١_q 0Ȣ -y xfJ5r:h C1cu`Yz ֑P,wgYZd5d42516aca5fba62281ee19ff5dc11218bec2c4b7e97556cf8de0f09d665cbad2c7aa5e6ee16e63 90bc4c22e1bac0eecaa31c236fc8ab40a62fb2c8984d2dfd94a12fc7b7c9a7b7f312d07238d3c15d  HOLCF