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 II4' |< ]]HOLCF-Library:threads=4elapsed=10.302cpu=34.844gc=0.988factor=3.387zXZִF! 9]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFxm|&Bc5ݐhn4Oyi]!Ex(vb6N\u?ھ4<)EF.!DS z5ӥ^4Fbj <i\%>4a7Nj$xH1M/hyZ $WGZr QV&_ h(uB ˗2W>Pe8 ԢR},X>+v4V#U䈀)n }Dh.5Q},i蓲@/5Nv; \AQ~/-JQI@VcBmf`=u۩nD#[9E[>߀ؖɅ\v9i1{< H=Mα+ &LP8>r4 uM0|CKn3#{? * dqw4>W"#0@0QC !$(o$&c*`u`7 $eՓgYZ7zXZִF! 8u]ŗXiɟ>ӇuMwdCώ ೇO<2s Bf{~cI=]\^Q$r+ Uvmle \j1o*˫Z|6L>;c!A(a3xQ2x=&p8$웻;Er,OU7ь7^hh\M^M]K-ewNc %pRfG)5|`Ǜ7ٹ]ᰥL{@AC:k͗V;ƐU&0^'6&LKKٯ3溛B0[ωoS+A ^G7W]LNvMUUn~F` -"?gYZ7zXZִF! 2]ŗXi%@b^~Z!㺾UNJ*s՟cD'>L7JdHZ'ۆdwDgP7cu`[N"~]q"w`4WBH6&$7I$ϡs)O׍Ssդ;80)F*|_jw1z}Я5T KhzΊ_o[kmRŋzp4M*Fh{[j!H)7A^J<2SSDV_MS$)Nje*VKk4,}2[~>Nڊ:9p:pNhEZj#'`|?CT܂IRCY3].:Hnx{vS>È@)-+I(#rYki̪ lѸX4n$j$bteq@f@9\N]mRAy1=\zWW-eUئgYZ181fb021c4dce49da8883d44e24d52c46db7788331f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 bb1a20c0dc9f2da534e49fce46b84388fb295b4b0401b809eb777786d18f208811959510e946284c ' HOLCF-Library