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 JJ3 d4 ]/]HOLCF:threads=6elapsed=12.528cpu=39.544gc=2.508factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0pX̍tk-#Ɓ-V+ޜU0ڇמIJ@ iVC3ƻ px /|} ()y֯y1jZO|%eh&\;ĞC K* E-x{j LoM,jۚ2VΛԎȞU%s3ߣ-W->6XxQhF:r&w Zj ћigYSgn?~s7(*alݚQU+Y8]{YZf])cُF'5HM{_K~+&s;I dr aɀLXоϻ!wJ/}ܸi hTVŚI&5~rҖGFAh3VUeJGN?Ɯ 75 7ZVu7 ՐV &`N4N4Yp&] >I?Gy(+nʄo XX|LX3fp;d+Y]SMrբ&BGSxUj&^%,~KgYZ7zXZִF! S]ŗXiɟ>Ӈɇ9S2]ztkĭJeDlaMUlGJl ]v>iXCu&I,_SD.aI[G \aCvQv4.&`ub(BJ*X׻cK,"52صՁXtV$ x^YO⾣qn#:OO"yl}\&MW/Vib/~t7asV;0&o  (Or9q[}d eCxZppzFϜX'5닪$%1( S, Nc@iR~G^|oѶ ̝S0l3v|$stJ#0< 3VC,Ώ#aVJ%u_ÛQ'ZG ( ФNz.g?y‚.7xR1B03)zcJ)k):i* Y'p h^aQgM/#@oX/H|B&c1k3#Ơ楱gYZ7zXZִF! >]ŗXi%>;n^cghq Z̑_Auci V iEk#@m:eo,^4Z|oLJ+Ï^e ɺê f&Cʰ@f!ñn;lF^sl|_v3td(lzxvȲ1"G#rV \=LΥvU+;B17hJ##_hD NGwnو٩4y eM^Pd i3BĺMn}!' VY~6cO_Η=|Oi*J 8ṌuAQ톛:ɀ)?塤/eFZ?A[ ~%HnP]k{6";>f(Z h1;H3cc.o0f$W} Ai@9e?)DPg%q19]ّZ.%YߚCMbm0jE[ fb4oBB3kPEUВ6]}5Y*x<{ivj!(*&@3 xc{$ҚQ'"6[m%j92`2}lc뷲Q OѾg҅^zyzL͞B^غ; xcf I}G(vnLYaxI تS=l,O7bј 9qt;!O( !Ut2"[4Z(Vk1R?[ʎHG}aΌ4ynlX&(*Hmv aQZOLb;VMARRFNzF-6K5'qb況2І5Ysz;QͭʘBNFք,A^ }|iIgYZ302f9f01655e53161b4308eb2c06e1b9501c1eb7ac8f8db169a1aed7390bac47335c1f3fb99f78e5 b6cce1e1d33c0d17d7395f24a436b50911aaac97d18440dc64247dcfebcad725ebbf3690301adbde  HOLCF