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 p' Ld ]]HOLCF-Library:threads=2elapsed=18.873cpu=30.760gc=1.248factor=1.637zXZִF! `]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFxm|&Bc5ݐh.ÎxsUalCX"F5"'7֤ꟴ7g T1}FQ +> wznRD2Iu.x#FR)hDx_\QBWX^1.c\uȷiSr8:s*˅<{^I(tXpMbsjsdšz=ZR-@V+M?t/Gk@:;?,vѥk&Yiu@F-&N2 "C5qzvT\P!RYg K-l8YfʴnY88ψM-m貉EYz˫`ؓdcc6{VT'i}3ivm*nL@QzU&EӇuMwd\ͦl!Z{gLeS1^25BTIDr1tYO,i (G Il@-Z.z%UF[ [o=ŽƈՊ_Z`w Ͳi⮙mW(pϿ9EkG-K"RR2XRh#~c3]hK5I\EDbL0?MNzto kIRYB4W/rlgq\ךy\*(&јڞ2*5>Z gYZ7zXZִF! []ŗXi%;BWPrN&`=-~Sȹ`uZM-UG0V%dku]?o]:B^bj7* l\uFK-RWh=Ii09:T%#@S$](";K=K 6rg3Ao+ټYQ2d &'~C&G6rrɜTQUk!' c暶) ϳg 􄸒teS!Evʒ5elnPX?TdRdFkŒNoݏ悆 ʱB~_. bH$JQh&9[2h};eG 6$WdэYX,xutB6>5tn73ψUdU CaK3\r*THfBEV`0"~6S:"KE 4}!}" H ݌.TTķQ nV kvS_;<،ņ, ق{}^{=1rTZ'qXIP}J\+NG 4t-HU9Vkc»H& VhVٻ.^̢5Vvj+Flk~WK75uΏ"6 ` ggo֧/dh$}y6ː|r7`ғq7 K/!˄ò@Eh3C8~8tӵg!W.㷲'9eϳ^=8~;5N,VeA䈘7S.𠗙ouV"t~_JW+Atp*! MݬMͤ*qR+p0ɲȻ.4qep=K' 'HPbJs;җiyc,qC} ={3$qMnȃÞ @Ӳ=: 9ugYZ5673d8dd5602125a97dfe8e8056d70a110910ac8a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 512cd03ac7bf341bdb34573bf9c7a4895277fd3a80c854bdd42417d6fc5bac6b057e323034e943c1 ' HOLCF-Library