SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ""O1 \ w/ RefinementReactive:threads=2elapsed=11.028cpu=21.288gc=0.444factor=1.937zXZִF! L]ŗXf1-/6vR[O!vpa'tAl0ׂ~1agw$aU!PpO,ʀM&esUu4<Ѕ^Æ$c=7S؀|1eNTezrp< i[UxjZD\%-*4VBƑw[sMyi(c{[=m$ۡ.김?2k]ɗ{tQ'691quЙ6t<}{u}1ospȦKk)[fƣĨ:?$gWCp59sjmkiEy'*Xv(jfTb O^F kl%< ߡf5Wb?@p?4;74ڿlٵkZǩ:TXtpǴE>W|0rcA~%!^0+Q s/5NG M̓"^}%@ᩁ0NLXUۖrc~#[mKwhꥏӝwM O]#(i%O64 tdQм9|K桵,%-i.)Ҟ4#βzma܂xY bYPrVZN\P(r,Y)ԯ1:+|"G`r0xfz&"Kt~#!Th]kX67^^Md8ko rs9ui;=ҳ/S@w>ʈ}NVQkGdi>~ᒆO LgYZ7zXZִF! ?T]ŗXi% -ړaʕ灀`yiHSaȬSV_Ǹ[םF5ȸ%eUeaSf$)~=J@=fMϳ_Ӵ9u =I=kHbZ0c,WУ?:S=?inH['wR-*c+%r g@8[{q:F:?}TFp##?5='Po< EB`[c<+1MpМ:%/lW=|~zEK ‚O2̚I o?N^wūPC bxEOx"IyHH)UQِxC-ZD|Tra`WHZѪn`l3Vg>'ÄW@։@zzhgMߟ,ZJٰ1!Yk?g?[!j6"Rq* dEtn+>pE9;X)dE=0Uwj,ȝ׉1yI%cVD'˩1_H?H͋ T߶"OíUrb?A/I}'*?tDJ B[oW3(~T,igYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e070d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9