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 tt / \| ]S Monomorphic_Monad:threads=2elapsed=34.192cpu=53.988gc=3.228factor=1.587zXZִF! <]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dRVQfb 6"YfpF*깑bʓ-2z1cLcg"Z՘yuv Et @ಽ'ͅxn^)mH^꼔VlЃ(p{U28b;G^C<h@["=kƕmWCK'fW&8.`ԝhUI [db sgʣ']/UhRۆ?.q;|ҽ9VTo3f#XB\,xmGwf?/&Z5̗۳sVkC}lHzk\\ ^m1$ą+{dվ.hfpwJ~Qvat$ŏk#\Ŭ$1jU+9loq4ylZY%] ?b')cmg~ZB3i[s5:0iB,/ KluuL[ Ï}'3$ mwxСIJ'!_gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~~6M鐥Gf ;W,S۱\ǟ:Bq ţ3l;phM+BU4Ci Lq项uQ(gIlHTa =řhskVotyߤ5J\<+~.#]DE@dT WC ޺ ޻ߏgYZ7zXZִF! v]ŗXi%;CkQǘQ c'hq&5N {`wgԃφ埫P?pU k f5" ֨)46>Jmo]_㊏rs7r>\A^/w*ƍeHxfSY ''|JXm^ʿktBIiqDhQJk ;5=ahiH}U6el T#5!) :G Rڂa@!>-h+ENY+gIw[,ȫ ف猘P=urQNFt*aF苄DwoD;f@a+S틅1ج c*'3z;^ު"YE>fFd?tZ%`"-`}9 xDi@#33{ҖSUfi`ˍ/;J͎!9yB65OxWR+z1+ ~?-NeMwIs2W'\:{:4],b/+U*R1_}\R,yZ~N(z[I҅S8 6/`# 5R0_Ld_< *>EѯLx& pqm7 HWh7)@kInz%I4os)mg隤_T39^62bZAQh]R)m-BukhطC@@_l7\&LJ= >*7E`mĉ ]Dlwu#=2: `S͉֧EGR\l]`d I3h7fxWȌ= p\̺Q-A갗^fzvf]c<2[7\x]n4taAL7؇H+YgHdBޔj5u&: 4O^fÂGc$}|,:*L֢g4YC#{]}^1ƉOKm ع] Ӑ݈Fe2 rD^AD=y@])UQ]*]PáT~u~p|"zfL6q|aN8>qY%B'YQAzSfmoPe Iʊ   :s̋?yn@mQɍ ]iuRfi1xhw`,:2L W'*uH|GBiF4\ǯ\nK84f$|LZ7>0%6l}u,Ym2[L͝Yxhm% شc,D}gYZb0e1524ee77c8a92c5258d5cb6822e919e908853a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 7ade9db36f7f6853ef31d44c4dac2bf19fd279bb / Monomorphic_Monad