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 F% < ]w]Sepref_Basic:threads=2elapsed=22.420cpu=41.152gc=1.984factor=1.847zXZִF! $7]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 uWNu@D r4rõe2¿b7k1f4w8/H0$1ꌃ :=PEیg7PƚxwĉgͪЍ*N֑Gkדѫ ڢƃ0 Mru%&&Q^\ ĥܰ^q֧xhrOY&S[ˢ2vٟ[? Աf\S!bx\ϜC rbf SY~6Aމ|< |hwenE#%iA`ITU!Gt^P#ϥsDVv>#U2L@:nS 2piu̒s{ώXq+ ]F`?#=] E#͎>e!ƚA˰$#]\1 7^?Y[Z;_G6 wZt:fo!Kz?*9b>ClvUx)TuPW_ oaq+mD WcIcE"P:ܲ+Y j%e}\1YH9YgYZ7zXZִF! HC]ŗXiɟi%3( d+%jh -ĝF Ԋv-@Vwǡwc(,^ p 6")d^)zOi$H5睻I>\|V΍sR^8tzaWH6vS8+'1գ,4x{%"!o;^@"b*d$3K蟂48Y< ͂R`U jLpMl-W TQϗM6gܱ"%UzBORXR6ȴT8ZW5IzPܬI/IoV8e*GO؏03T6 BbXL&4%jŁdbH.zXx:BO<^;.uICiHO>C VTJ#%Td>s]]EBd0@;&FN Y>DX;h) "l/(yh8h$nZ$!w. .2IzHUZ, e[mtyfo&165Ş^ l`;EQu ZgYZ7zXZִF! ge]ŗXi%;2QW7S[] L)%`B,_5i}&D͓2^+Uqɢnm@UiaTt7?I- $b馮εXY  _䶧}0ȶ8-&}C.1@ Z[J|ؖZB2 a[|F9>UF[t+Q-Fp!aBG9a7}RVN.m?gP%Ҿp({dNɸY'ȧ+"@\iPx;DOdwUAEyٕNrL\Ne'U`DqDU=z~Qˠ#@]cSlUHW,@K==BexŚt-86LzE]J)8#r)\_KH[7ՆQ}O;6%cT|2 _ͮ]V"vB3dQP|BNhHuYv)qY3ef:Ӑ1]R]]uSJ1u g~=l(r#0$C\fx @mKP>y$"mUGi}!I! sN'GD&_e`MML\ ;\~b@R tGU_@ikٛ; /]?Mu9B6N3٦.VˆlQl9 ]z.LFT[o*1{0?8E(8#,EqR:LWAE!(f+zK2#9І5:VXgn%Ys!}{?k} .{￴/bKvRw|Sg9ﮂr*N|u cRٌ+z\R"ʭyJ7ԑV'k Cpp<{/~Sm#y{89hff6e1-'@Ԝۡm~ -M$Nw=!p">N-ʇITKY7W}L)>ţ&彠rJ[|!v3<nE`pcRn)EęC<)ڀƲ~ aϗo.w&Th0f& J٦!5Bu/(e?L$R8$OX-yQk]D#0m_jT%e KfjAD!iF-0kO!~]/Fw:t=!c [ybfM?횇0dpPRwB/E [f`(53_ByH kUgYZa6a8878af96845237ec08b68db6ea9abb500e36519483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 43dc33c565108d02c859e8428b66e59c7fb3ed85 68d0d0c9f570b3cbc07315ea771d337673ba5e1a e023ce42e89c3153869085e4f311eae379f89a53 26d361baa2084e8d7c775b8f7ad4300d6040c305cd834e517979f802c6a380d8466662fcf2659228 % Sepref_Basic