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  15T4 ]S SequentInvertibility:threads=2elapsed=53.609cpu=105.288gc=8.924factor=1.967zXZִF! ,#]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)~(nS_<܊V^4L ~G&|m )AlAagUY"/M@J0K}<#Oo3\c˫| VɽWSO;;,Qt%GOaBb~`Կ;^ws[v靾(#s9 djauZd`5 h$bBa%&+>v?ň%VP<8}ąI0g^62qo&C-Eb4D;-S#Ӱ'&o5ܮ ˴?<,ƴMXYHrhCki!8=LkBcaˤo IOOfV;H|q}m-Y|tBrC2=0dT# M/ ]min]>5Nx.4oK dX1g|h[֣`U0D!` AYezHcl٦%ZAR)x^[̴}^"BHoj~hHVr!8^2Kf.mRV)Qk]_RYOu>gYZ7zXZִF! ]ŗXiɟBܖ& 5 £}EAm+c.!;cǗ^Fy_hֱ/vNFᎭTNjL\.6E[_@D,Ywn8.;aqċb̓O$~y!?lIz˓F ƥ | = hi8l! M|nyi0d~{IgYZ7zXZִF! Q]ŗXi%W~Ĥw>,R)U$JC{gSP}%?|۫5w+?0 ޮ!Pi`$sl|d0{Eqla C ZV1Z,Gw㜁S*Nz6 ,3*Ql_ԛWz%2'ڷν/;FāonA@Caެ#O:U^ь {wb߀ 9n}D%*(wh:_*; opFL $o[ݜNQO#7@>~ZJN !# lL:i&H}c*CZ B;F_Nhcl1,mcjl1 t|i+a?uTMM p{HB9Ɛ1u(,|05HpwNߧXqN Xvɫ8]9F Kvm̀}qwnoyqZ0r_%7K8q15dόDeOFRu`T(#>Uzw}?D֝FvE:zDl)qzf`d,eeNLY3aLY[枘YD9s%YOAKNOQe^R3i~B`ɊǏl#yν [˦?mZԟ't_ޱTo3302@{=] h"e}BOet߭{$E00m!{l":X|Z z' K8󅦦^Vi1 4{FoksvWk'8\c qamy@cm2\b`ɟYO$+aϺ{w6E=S? Ah` 5o>`s0|^ _::GK.bƜmfVP.p,2M\Lpfpqc7 Y=[V@a Afn9v8utdsSHgav"a<|[ɰ(ԕ7rcT(`*LyFlx|%<%8I%)m"6#97EU(31Ĝ*A/8EX8↉-S+s"pW%H4˻Jt(~2|e]'\*;X04n-;LLH>4_mli:P‡ T3w$r-z !GYjJ،<ߴ(WrBu6RA8S%*B`bKO荏ᄖf~Dat#WA&nȁ,pQGcoq\BAD6j):[WZti2;|{<^+r=+SGg@?j(W +~ޑ +\w߅J"I| HO'bgU-~GQU(PY5IMEgFE?B}*ҠgUtcAxd2Hax7}^ tEToa֏}[fEfK@0 kT/тj~IŊђHO3^;Z"+?"[DmZЌa%$Ңa\YE> X0QT=7`9ORau;7rseX@r{ه%~!Mҿ6\Nb+v&H6Y*47wǸ-i"0&#~fÕdz$E lo?ކO%}o[1{O>E(uWwOͦLT`ͰrBneC!3.4+cJ` 7+k7? )e2tE@xǥDZ yoȉBy@AjZnX(cb&Ye8A7ue2ҳ.Vqa~``5Ouo{ aN :ʎWΙ`#+(\嵍*.U=coQ +;}a |,v