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 mm' |d ]]HOLCF-Library:threads=2elapsed=15.864cpu=28.956gc=1.272factor=1.837zXZִF! 8]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&H]7k-v >q#ILnJR"6!P:/˨^6gd|{d[\)WG$zQehn/< b$֩TDSjmzFa`&O]4 01r6^5b͍Ȅ ف9'խyvz.o8_랎-c.R46t:/9` +LP`:#3c7P(X7a$*oTǻ;X0N7 }קr M6fՙe%6 C6s-3-B;m=Axod"b`;41.;{xZ4 nyq:Td=n`R)@ \s.6մ7aid%W\2sd$%~7*zc"mZtX5+u)>0t2й-JI gYZ7zXZִF! 8k]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0<,Ӊȭ#7Ț~1o W_n yGFQ5Vst^ .HºCϞ{1=J~vat4LhZ|VXNN~p1D{zT}5UlhP/`w/ttG'P ngavsp$њS> HUUq/}/R E'Л}lˣ "!~yId$p3ZRW%_|hО& 4h0p>»޹AT ,Cdb6BH20 gYZ7zXZִF! M]ŗXi%>gDt 6#P/ZXS~|u +0,&m{deVђ ) IdA~Jh5X8(HϠB+= V WԞdA ͣ{n}g$C*(&:B ٢&xpf"z`f׃MN韠RZS(~H | gEbugpa|86A9k.m!&pJ3 DvEH^FߖFo J'h"]%P}"@ԟR)2iЭMȟ~[ .hò!(y8D;].q21qsaU VfI'0d#yx )>9cg`fNF""=o4j|JSd:y<|gtu2l^ʴctNny[5ȕ629 !4[}b6yq Z<KF}2CT7Wkg)8Z> *_/ `+$œ | xfrGp=(8tX_)a*{ؗ.^k-:D&<8nUBGbuJ *PҊVxүȚ1h,ouPB|AZVvg^,&&$7nQ?ps{C,%>i*>eF4Y&wCw4Qaev,t=;q .4MXXӁb&tX&G'~&i>r^Lo Bܲ?J:MvlR>ӘI홆=k*Ե ;eOΪr"~#%_"n}S"ȿ_7ÓCR T[h;?@d2B۰S/M<8{n3='"]{щH"')/<w7z2*#uXPib#YT_,`Oo ԓ}0B.Ikuo[oÞbӶmSm oj(2zvOC{(z6jbAHPeYĤ: GC~ıgYZb15910ef0e77aca3f9c0f21889be856a0ea5684fa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 8f9aaadc0b4028fdb119f251913a4fe75c9b47ac0464b36fa72a2ce8abf898cc622ba03454455384 ' HOLCF-Library