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 \' d ]]HOLCF-Library:threads=2elapsed=16.570cpu=30.272gc=1.216factor=1.837zXZִF! D]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFsHƞ!3i)Kt IShk^^Zdz#()eW05KgXeE)^i)Lؗ,$ ԍ?Xǣ}qx|3Vne;ݴn4S $npYjs!P3m#c#W;$h3,Uk4V$[ָeUԜu&eZ6v8YY O0+? ΰ6æH|X-SIEh >44C$PBG*BG)މݰ#P0`y^EJǭS' 7LQGJ(q( m-A^CCyԯ1LH3UO8ۿhl̦7X,ŭz&5IeAw;1:d5ky ;uiMbNr  h igYZ7zXZִF! 8l]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0Y=4[bcx^oR#Y=( _eʁ_%4VGUA[?^`/<2dCgx尯:_&7}4,D}3هbK+uz)͆ W48qF6Vܣ>V%kV 3g.:]ޣje;CEM,\v;SM _F*opq5ާ+Ƶ'6M~_ȿ*m!m3aG,_"(t. FiM3'Dx ~gYZ7zXZִF! M]ŗXi%9(P+:!fmC*(Q$$# py&_J4*fl)Ѻ&i 6`W*1En%B 6;R"vnj12"c7i:!~1N1/p)@v1f7k]FŚAב`#SEqXW'FD47EVsf-jOo +DMp5o<͢ {o1ջ='gMptɋ` sW7E/:Q'J[~ wnv-"-ɾ?7zp}1 cVv2G+MM8y|p̱lك: ug$OjGYJ28m?Fݵ>Wh rnykQݔ:,@2.*SZ!|i,D#w4w?[ԌpE9JGԾ!S2n7<1KzEܖ@QC[d \ZCT2fPvB]J={7r-;Eaե7ۭpey?99BKZ/=NXY` !ĐSp$F)n [2=Djȩ,KQC~dJ Q;2|`<=5 y*Sfx>5לQ~$з#eCgid@9e^Jd1QgTm0'۬{K{zYH+Ӛ|!wVILǘg~yz؂oȱ3]-ȲkgIM񹴐 dm1Pc^P>~&9Sx((x`MI`7 KcXbz0MS@tUzBg:!Í -HN_}z5Ȳa#9aulQ7VIkݭvBс(  GI'-ٍDzi$M(}?7 j&fz}p ~gYZ6500b4a222709fb16b68d2619f606a7236f3db465f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 96339ad3e448408f44f70a6cb27078e7237b9ce84efeff644894a143fa5af1c7c454cb8623197b52 ' HOLCF-Library