SQLite format 3@ . BBh77otableisabelle_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 YY$' |d< ]]HOLCF-Library:threads=2elapsed=12.969cpu=25.472gc=1.204factor=1.967zXZִF! 6]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&ˊn]7k-v >q#ILg?xc0fF;XgwQ 6g܅F"n'jjʮs*4G0gX| !$v )p'^l^@qS#5MMa-'0G֣rXt Buv ֋/,(a|IR @TM1Z]5)XqQ\j|Ș4˚+G/ 7j5묤,RTO ɍk+!儗ax$~.6 $MJ4jb|!3],Z|7" :?S#)IZ`/狽S$*Y|@ Cz$HuGn)sm EF.Ј6mMXs<^b> ^X .&4{1CDLif/fBAfM1QȰz@Ӑ_!feZ@gYZ7zXZִF! 8l]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0 _Yȷ\z! ~L Ax扛?@v} 1"^Avuw`6%# OWSnW/S]n<^}_d%he3º L.D6n~`#-ENj|Z%z|8a,܅6Weq冄R&̷t.&SLc:YM0)ZD:D? !Qvc岱ȴe?9;Ah 3ifv\ଟ:jF7kPRoE =f;[ a/K‡m2d a3n #Zb ~gYZ7zXZִF! :]ŗXi%;c)r }# 903 }ǕM(am͝Yzܘggө:"]EJ@-FJc[UeF&}"u'n*0F HՄ;GrX{8B3߀{tMR W`]72R ꏇ<>jSKtzTԏ=Ex.g:ǣUS݀,HV\ #T:ئC5[LeAiJA˹f̪gK@mx\} VaJZ0&o!Wm^XgK |@1o:SiQqqIų_F"p)&?q |pu%)w?΄w,]K\2>u tF!n$dQwj ̳ܛH:3|B!@'sl?\h6ܢCyB)YG.QpbRn;Yw>X*].! *֫vkyw9H~"SRSr߬^trtVQ%t?<GRq*c'em5֡dI(%)K(pgH#>-riH&DoLeX2uu ]^FB|%Iq:qVOZ ㄮ#d UO&0ޑP{w)s:s{.7XBYw.QVF_(].J;1.neVJGʐޓ!7nIz;9ɺ>&տR1LDR&uU1mWݯ pU@\&As=2@zX5fΒ-X>9/tTSxQw9AawuS4z}ɍSμvW0Cv4-%ʥյQ<8$) p0ʷ/\X*{?E$P-'˸2V;96irqB7YhvvmG>E-SNI1֯ĠxWpc<pkc%uvgYZb3dc6002c98a6b4634c42955b84b6ea70d95b3fd62b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 b4a9ebf2767f749f29e91b2100573c5beb56e6a912b6f602119b7447537faec11de2a8661eea44a9 ' HOLCF-Library