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 g7 \L ]/ WHATandWHERE_Security:threads=2elapsed=37.819cpu=73.008gc=2.844factor=1.937zXZִF! )]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TCVzC*=GlqTj~pR֫H~|@R^j3)|5֩*CqCY"j n~^{3'4H<*^OǸiGmLs!鏀y;L% ώŔaѳmFf}UȀ&Ad2兤 !,Ia^ujOU]-Nu{ݒ&fJd lʼns7ȇ٢TrX ⃊BReXy4:,6 7 WHATandWHERE_Security@[-?  o欚*,L֦mA'mku>֯#`8euY6ѶY!r&#>q H"t86n7_,gUW:D,9sfгqk+U ՎԘƚ<;lp7H7܉qUп*_x$C Q]~9_Rӟ70+HڂC)`1E':vzqy썒z}WN6+[< xYLNeob74d'w * b}v&F7HpY]Z@?Gvz]Zxx1T= XV "VI۾ZV]\I~1t%ۀRp3(KtP5ehC%rT(\ExP'u~5^Jovo LA eN%-R3PpS=s{3o0YwfjS*PVgYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#q =d[\ָd!/"z|jީa@D Lf.xc{7chwW`Tj`Z%8A>uljzҥKHi!G|# vgk"O~7r}MyOY{1S%[)Ͳ\06_v3B GwJD^(80~]߇pQJ^RRB&,qJQASBUF^ߕ: ~:LCj7={"Kͪ m#Z4ʨWi}Q,:$xY(*`:13I=m51_y _chS8;(Bp 'J}r%LSp0TNG8gb+dŠdܦVUT05^CٯǙ樂/elLLUȞMaq*﶐DFOؾ#zrz7(-ޕDIж^N Ǐ6.?2[> 2YNK7YY GAQ 4zCN]֏5R3yU+X6SDž!ׄ?\%Zl c|Oαp`5s+B.&cV2–:f o<'Q[*mNQuǮ;k%knRe$"-+3c!{O/c6S7Vr}nAV7{+h~[rΩ[%`?}E[ؕ/7Nv ϊv5C9EʂČ6jTU.@|0 KF")@d ZEmBֽrb1mOƷn5lc ۤ3mu݁ gB ?h,哰2i, {=zIJI34x,@WFMI˓1_ѿ7A|UoJr{1ںun&>_1NvBҥq+M}-X;j)Wn> `JŤh.`"/U^P `(=joZ35`HTv*8|`?F)-hyqTX}!X@u PfCfbX}6)-RdpC #ukf_*EveQx oUW&?TɒcK˜̓ #?N<ў;PhiRw5BK ` p`V>ќo] ^$O#;-]Ƿ3qILJPSpPQ+ J:!9>+.MA"Q7ҸC: qS.l!eVEC4(}`8S\: ^)". lDٹ?T8Eõɰ`WnL~^vV ظ'kO[lb.yj[ǾvYsb1;7nd~:۾!]i7튟H y\;.(gQ)݃ĆڙjL?hM_.T`)kD߽y 7hpTI>ހ J,8Bxτp?8fvk/sSXc0w,L(#^c=UxxdŎ7-IMQd#T6)v*/KQl'yWh3+*!+fN,Q03SWʠC-qfnЦ噈`fpgYZ2c90146b32e61b6537e791c21a872e45f0bd02b319483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf