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  l' LDl ] HOLCF-Prelude:threads=4elapsed=30.810cpu=98.908gc=3.072factor=3.217zXZִF! :,]]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&XT;}ʳQďBBܴ# TѯFGRCW 006G_وqIl0s@?L_>5M`/͝d* 40D$N[qKjbp;^!]-(2P4Ag%~(,=Dv86 = -iz?BU! ĄF80p= /;<Qw҆r(v*IwtP5;4LZb!:j{-Duv"•4$S۞{ewFJ#G/Ggi'F-i6#$(*p$0g!$^aΤFc2߳H3˰Xk(~p@djS%/} [V)s7flÍA=W/N ;lRʏaUО2>+t 7 ]џVZ!rI3N*S-vsKb5:Ǥw wmo߾ ( [I[쎊eK]"[\χ2̲m㔻u0K *0vnvغqQ~HH {BZ$1A[\>ٝ#6tyT+Nb[}!~ )ܵ[Uہ{>p园"qf*:Q0~dXx(͍Y=JNs zlU+k,B>]%<!N"B2')HG ' HOLCF-Prelude  f>813i#uX(؀frgYB"6 Qߤĸ ?iu^%F hGDIJ{J KGׁO9@~0ʐ׮Ly1{̤V~> W`>U.ݗ|`1j25^\ZB;ű.1"@ł[x}ܯsO \"*+ײmoPIK Q2i2tٝvgX4 XNm\A\)[C*qJC~(fvɠ<"KZsZ#)uM;+ g:<׾y`!M?;5b<12p0zUk=j3mTC3WAj%W;?ջ1Mm{xstcwL+'gYZ7zXZִF! ą ]ŗXi%B:g+8ު@H7YKG(80 ~0 'PCKa9nejZGvغ+8 QI;zv8fv{p `jiLPUVu6~^"%ۆp;)c n.9 tp\DCە(vJ/F;Hضn?-C[Dʮr? HN#ӓ $Tu|C@d&] 9xQ] EV0WNԼ:`*O##2%6|/lOWϋ2ۑi?omKF5 pF VJHt1iƛ}cw䶾ێ&'<E(T i1&gCBBZna+aozIdu* j$<'mt%?XHf|4m܌|Ks+($; ~CobOTOT9;Fсt.YFrnEF{?JODWL uYÑ1j܊j($ȵzq8``=Ȃw>U`x&c "`ay]LhٮNÕؖ?~>tW 66 $̷|SDua @9#V4-՜ހn?9eTpUkV[ކ*+ݯ>e,piQݕN'~&Ahn*jɮvOW-c`{Ypc_DLEpg~F-"u-գsLˊ1qoe֤zwRd羏S3OR @/eOIu7!ē) Z$3$WlmI]8%z52)/l3x簝%$v<`, b#'4}4 6Cp̒*IX-]G^5-jR#lJ[END@ ~b6Uy"l2USXu@TŠ'r46(P1Y O%_Om>f]y(O`މK:͠U/NޫKɰރ9M>Wp@I9IW%+M(ms;/~}w P6VRZ߿8AߍI`1QJ^bw5G1.bT(+#Ս<:Kzo<RK!"O]t/+g}, ${Nڪahيf3͑TAuٕ|i9A6MHHD &,vE> _nVpCIxgm%8o9;WAYn3x&RR=)Dv[1&ޡ cE -U6`h}Z$K j: ŦC<1'4t;ԏn_wW452({C?l^G10=u]`PpuhEp? Z, 6]3^f&"H!]<(8