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' d\4 ]]HOLCF-Library:threads=2elapsed=14.603cpu=28.332gc=1.140factor=1.947zXZִF! O,]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&ճꀶ-0.ޝ؄VY 3#EVɇxW5k߆+,0ϠÃ865,)*zW 7qgYZ7zXZִF! 8g]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0xy4 t":!)D׶.T5IE&S;j:(kҫ.V$n!+#6 LTne"=[Xʢ;AҬY @ɀ9*^y( UsW] R&pI0;=kvͶ왜Y_a3{..nvSU9%i,4cwz.Br?Z ]4*"NgNj6&ƅ |gOE7b(חOI 5'Fp7&ig?D8x9oO4% U~}0x$F1ؚC[Nq!xK==f]p&:W fǼb` yRi 5~ rं]i7IS" X4rRf% [I j{IRӯ:rܭs匝}Xv-5ODU}aVh 0o-{r30ni^703򛁜$gRA!И62ZA}FzFud+ASI'.**!GHOWgSb" xI@egوjYzNԪNg0L-IZ{+_2dyA]1p p ?2(<+#mdΑ<sxEQi f֬G=QKDUva8%7)TX}7P\xslOBz:s:LA ݞs~ C4 c؂̋yGYwҕIO1@=#eJ6OQ;(F Ȼv@'4͉_#8Y" `@,)~;]g~z ģu4z>(;eRF(6P)'V%~TSDל=kCuMa%nĺ^39iS#P1z}lH] &K? 5ȟi1='KaZ ž#"IdTLC3O5]1}VN|.G6|g0'}Wr%2u=kϮP>KRXO8AdW+l%L{BOѼHÈVyr?Q|ӎlݺ v>0Qʒ ZgYZec35cdc380732bfd7a7f6a01f3edff42a9074749665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 798acde50772b3f2f82b04d5bf3fe9f09e58c08d3a463d413a678ae51774dcc1b355e283a8a3521f ' HOLCF-Library