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 b/ LT ]% SDS_Impossibility:threads=2elapsed=56.114cpu=75.900gc=1.784factor=1.357zXZִF! ]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,믱}WT.Ԕ@Qޑݰ@M~ s1t^d?Sh9jP,"n!j&BJ^3BANN~uO>Aosu|di {G#wC8 Y}>+ƿm{S{PT~tCj{иiu:$! Њ^An.oxi?<N :B(Ɓhi2@Mq3KF / SDS_ImpossibilityiP]]uCe韻ބ0e1xY(ja|ןl)c4`" Jϴ w8}_R&:"L ]l,dLKFM\G}V-=(|Vd蘑?NJI kAioe/KEqҴV=2z]MP -}gYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G Eyٿ6#Kޖ~S%^1~@S^P˅*fZ}YZ7zXZִF!  b]ŗXi%q,N9O A!e#F㣕%{YUjS[1S5k$%NFitm;r6 } ցb_659BK@K|Q@oKD%,!EԣKbWV ʓSH-PU  ?rz.;#7څ85UZuLu+_{_?оPbX-)mؽ]1&/QGѰCΈ`Thl3ʲdʴ` NKxqC x kxKv;< ɁfN%|51t C#kҚ~ -@w:qRQV6;fwp ×Q1UضVE}%Kbrr妝̫c.b e@'mA 3W S9lM-d/ZѧLDe&>x {LB,o^Nq2Yw(7+uԗZے U3Hp SQ6?`Mk=kdwJ֛Krh@zV4,h#cP:UZDY鄷WQG[. 5Q UfVtC$&-TE|ÝefJDi} ޵.;ZAnsIn1Q+2&&':C}K|V#-TWHiz昽T2aU*O&R"nNG0sm=SoQa\t&B݃AWߧB۫!n(\ej]g="v7tXTˉPc #}2ΏWa|ݨsj)kb_7 bHGAY-'v2f1#,]IⲲ"+صkA#553EPΰi{CKEO(e!e\ʸ0TeE޷\˚8*-T9=m]błm m(G;=!Mo2\Z=}2X ds5Z˙'W՛̉\-gJ K+;vX 6wZwCE@58};o1M30z勘/}`cFNCO.2Lg>H?7 /DT$OAWX/Ǒ c* gZ7Mr~ɷm4ʠ*3  ?ataz&}[SlV! ggN =ur塍'IAWoX+Ħq)y]b@Ve3z݉HO'w=PxQշ/|v^=2rZckDVR&6>.^mq884 NH,6ڰ%{+fxٜsar6f8#`>rFÊK3PGLkٕW%U|'3+Xpv\-:i[ ǒMPyvԚSjFOPރ:p؄2SEǷ7pg:ܴK+nPۘG%i2 y}d.^WfuCCZjF8c w)ҡ7s([fzd88+k@.|6-۬^Mu{5q><,/TY ""PYMP}tH z!gR[r7-mq1d07@WQnэG&XCeyD6?YR6Fڪv̆qU'iԀFj PC+ZϘضz">ziI5|WJP3;\v-gb4Yų= юCׇ Q!{ơT286Pc*| E[{sla2,*