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 C \$< ]/]HOLCF:threads=6elapsed=11.518cpu=36.932gc=1.904factor=3.217zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0; + <^%>"V_Z}&EӪS㩰iWd*ie-RljB[89*@LjEtYK3ygx!. N.@w44TzíOrL.I8:JڶN5d}.a^[Dوx*I9 VCeHa ӟW#XPSWssrsNчQpY/XϲEw[r6Y2.LnYqh<6 ,6x?2<qwM-x/&?NCiLC@Ck[+%q s}F)Ov B8/d`O98jMՑ`0p:=eҖu WYތ$ӻD`L T'5d?.ЅLThs L"sP1p13 ¿Fn$f[#f/6_3<-7_[.0[϶v2{ȣ:ow;{L3hNbp=T 򸘙⧴fk`?5WgYZ7zXZִF! L]ŗXiɟ>Ӈɇ9S2]XyNg4W\όWF+mnܨ%# WqA~,/rc}zmQtDzaZNjPtwq&1\ڷ/B #ti9]x:%z=І䔯?vq,#]O2 Mq uĎyw:)qrOBZ8DD}_cAHA rGLW-߄_c }"n0"4Wb1 5%˱u yf>>$l흱cݰ.P-ZO7?h@@UD ΧHV{- _YC%U7F1s`qO*m#e]o t(62Hrʳ˙M?瀀yN0qY@ P7( Y^z Npщo|<)k(M*K#*MS-R2 D6RKlN${&CZMa[֯Йy敗591#y}B6W^+Vm6)/nFhW{}kZ p&GZIyG  b C儞 <2D GX*:݂Oa}t,W'y:*aR1d/nF n4Lхt.ܘZ\[䈐tǪN=.uAVrzMDWlg1O^,VRzvhc g5H4o֒;)J  kf$ ǖxb;6Cq,*\sv>n>p#i-E`^R=J<G~uZ2 O d=K!F4 }F>N]7a i@l$SLָ*AJ߅nw~m#~ M&JPo(Rs x3*䛵gS[#/p9Cz@ :&arP|:4f kf"~4{ѕ1'^Zlgj{>t,4f-ž0\б0v{5u0M9Ja]2);3buzn8, XC{hgUѺpŶ`շW&lIIٯ_NbOHikT1U")|љ-L{ϟ; VY]d?tjB9錏Wg* ׀S*gYZ10e4e9d37e126b9d7f428b61771574aa8ead1fb3bda8f03e160d8c5cd72428831a82ca34ca2b02c8 6f364a1f2777906a318a918c258e4e1a5bb60e4c5d5f70371f0f2a04f6cd571d31477448dbc0fc47  HOLCF