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 RR+ |4\ ]/]HOLCF:threads=6elapsed=12.743cpu=39.460gc=2.436factor=3.107zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6{)Q>zs RŐʑ,1BTW4аԍdUSjIR=vѢ ^43U/)\ᗹAڃ uzdqУGmG}05M!1f,2 iQYA<׈r!zܧw/T@^NσNlnsC8s oY5B`&Օ"aQ HD~c)b}8nTh²+lV!c6xG>xW+ tXךW=T9i#,%{2)^@u賊MN$*xur2a "J0$i..vaTfR~i9qR2r|Ș? bxl_>jc| D@A)ǏMrjB.9l-J6̧,$Cv+}xp⅕uج/vЊd+B5jPƌRxo!Gķ8Ge6vۮe-:!ʼn^3F]9LsGZ :G{.E#L)@b dalvv0jZᣤbJ/4AU\rHw JKdXP@dwA>Lz%ggYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]mf^8#9йqQqe`QHhbًp>K%UY񹉚Cb2/c,L;k#ƫ_;Vb#LLd4PF.pM ]h #\ rjIKa_<[H3Rg-Ix2%'CÁOVz!'@xnyQ,RYWe 2Wi[<׋"+ON΢YXua~ Sv1>|+q joc$`k^_˷ΞzXNSYυa'\IH_}5WiѺ_"v) 8)Ѥ^)1m(eokr+)mâ2XҼ%#*jK8!>A_7 FoCć.*1@T͌a8U)kW H2yHghBC)0^p7Pxt ﭞ#8ŴwfWgYZ7zXZִF! >]ŗXi%@Z懱TXIouuГGREЬ=R> t&^:m c}khuz3dlrz'ջ4ٞ5.N,VB4[Pulo!V*BpteuF02W<9Җq@}dEU}׶)Ȝ].kn_jFfСfwz2r͇ n L54~_XT!X^]}|XC^]jϰ'\ۏQJGȂҝzfr.A!D yt؆FZa*dZ5.'l<-lt CX.AqV7"k6{1ރV)҈$sk7Rʷ n_ɫq^佩yg>_c7yIwT΃FMJ\ Iֆ˺Sq1f`%FXj%$2( ;{l4UQ}OoJ;PG- y%DLZPL1;ոϬ"mC/+.+Z{Yt%uȫ{ˢvIia- U<_Xڅc #^tD2q}U2尼] %EAm3w$TxJ=NvE?QE-r>?^ձC-Mu{tpק~z`?O)*MIZ^U HmRCXb{ljX'e]SS YhYFƛ0|$e BQ.`'1kPh*ć2Ӱ(r^ {M8D7VEn$fU01uN(;Xx>H4~T-3#N0&ʹ+Z}zptui` owjȺ .b(O/0t_,L,l7->J=44 4۶ǭؤ]z6MN D>&ܶ7^-"@?Z о AJϾSvj+FG!Niح {Fho_Ö!>jQY_;3 }&gYZ807df6c43d07e391c60d369d4e102fa3c03a4fb87b8f755608c0663a4aab9838687dac5bc4543ba9 7bc41950d8bfdb019ce94301e3599edd937f09d25ec4feecc3f85bb881de53ef174df11b5f191797  HOLCF