SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 hh+  I/ Binomial-Queues:threads=2elapsed=6.411cpu=11.596gc=0.536factor=1.817zXZִF! F]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNdbrPVJqsahRZӻv f]8O(J9/\%!5"+09_#߅An]hP'ʼO97lNS.*y59*EYss._0kX(ğ/S*FRȇb 5 F6'Ѕ:E17<.&pu&ߟ,}@I6.k=}KJc稨#ŭrA8mш3B_ N1G/BB"hbPquha5T)I;.kFغ]FD,/ZNOP`ώ>)%vC ѿA[j  ilp5lĢ$x=j%F Ϫڰ=I,nI"n_ :A`&{1g[k /w^Zdb^ zIN 7t-]Ι$>9 JYSLVGs$C%c6'P_RFvz]PR$C/7w/Fh" /Ɖ-0M^.7,Q6VS1F@ņ wO9 #'r[Xgh[׌Wi KѡЍ+ ;#fĐ!Z %D"&-U QHȡԟ.S1 & ۍE<*gYZ7zXZִF! 'B]ŗXi%q%[@QmO0<)jB}(֣u=ƽZ)Ho8buQ- Sb[#W;[N83xUPMB@ko&1pFU*Z4G F7i^qJGOʑZB_,$%,?d]r /c36i&o)i@gx" =Vw(fns"N $i8퐘1=HR 3$.1ypy;EgσpeA3́E3.ϊ GX e~c|C%8"%Q_>Z˳t5)>bbs_V]+ͬlMg!]j$E L>5h82)0PBEcKؑ|qdLTLսjͱڸF רEC aFPwM{*щ"X\"+@}AͅkcziňSЖ&bbɺɝoŘ=H4/}#?ڨ[Ƭh PU]lLXjs=dPUl^zMZf)% _":MGax TEꡀ)mZ^8UCTo+\&"`(*^1GL