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 P' $ld ]]HOLCF-Library:threads=2elapsed=15.486cpu=27.912gc=1.044factor=1.807zXZִF! 6I]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A!T{%<v=2o^ܺPU=^ G_}_vv=-lwgs zIvc3۝[g7APIv,~TΈģQ+ڗuA8pM 4c+<鬗V4Da. &>^4J$u?=;Çd ,p/覟68l{q.+907mpm䎫KZxNԑ?#.-bkN;'=†,12MC *J['C= 571Tu2=Ѡ$.@s&VϛGk lsw?;o'}=#̊9N FMOr Er:tI] +gYZ7zXZִF! 8p]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0G-.FJ p`O`;qnA`x{W-r6"l4ڻ'|eMK p_T;s:Õ6泂2Y,*̊YT:'>|?uE\o +}٥ ` hjgYZ7zXZִF! K9]ŗXi%90øxc8 ZosInYC h"n!739JmiEa7a{6t gD|E3 /"_uTS|3=; m2LeA,RuǢ&1hM@‬F˾/HZ2PRpiM0;;*mKrnA؊=0D y]N y5e7:|Zz?y8K)jg3/1nl{L8q܈gmhq!{ pC]:ޏ/>۴ 4!0Yn{A[xΘ*e}M7x셨;Y3_ >1J!RFE-sU4( )ƃ20 ) W/V_IS eq)\c;L{eUh~$,^kv۲l4,? S&)Ӕ K<-Jlb䲻HݜVk¹1 zWa9 ةƎlf4&q LXк TqӐ>jG$˞E\1g[Z0c;ޠp}i! G!CB (q5- 'f}3nod$CdK?D%TZBt9h