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  L? |< ]]HOL-Computational_Algebra:threads=2elapsed=56.393cpu=99.548gc=5.532factor=1.777zXZִF! 0]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(A/gtd#2mR3O[^0ѡN̐c\(X0ף0~q%B@ndFn75ȉbumGxU?Px7Dw[0j2{3F5#8VRdLXMd49`a `gRۗ t7oξ|R*z d<5G^Qz^ƥ-\clZYz]è[^91{F JƸ OU&қ>&\彸("7i(=ڗIXI2*{Ue1EXnĊr)eHN>qvs=ZIY8-W@>GvTZծo_C*1ўKZ!ա 7"5.tgUA !Qs^ZXi P\~;\WXFCk p}gT4 Lj}Y[e=wu{Ty4W sYgì}qU-#)Ѡ'rqYA(;+ǂ2-X:PfSj`!0NZүXB[+r `Ys̤ѧEM[i̧j !IK!452&hi~ʝ#X [~4mXڈz) ? HOL-Computational_Algebray=%6UJ鏜FPnMM3ɓAnwf슜 a~OgYZ7zXZִF! ]ŗXiɟ1,$p~6gpM ik(SD=bɯ^zj"!:@܄,I3Vۘ.J paw:&i"CN`[r|#! P!Q[yYV$%$N3$;zǬ1S>n^ p-gYZ7zXZִF! ]ŗXi%;c33~$kϋd$OF^4Ϭ-xNgF e}Z&aEVGfF17o "$jlv@!91&U ϵWөWE3>~>)й Rݤ¡N l.3\ءe„0>̛"+7tii*~h~Ѿ5ZS~*zuy4>]B#";SQe]'QeDf}(|2h?^ơZlʍY)Ȁr3/d$%iɺ>D8UMkY, 2qN5NcE#iŪ2 $E]Z  a*@rrݪqmJLd,gټwKWYcw&5=.̡)3Y'jۡq1[#'ݻ)!`(-FKP|D=2FH$ā2DV\%ABIo[h4z_F1OQŧ"U %y<*Tur:Ѵꒁ>q7tln!Q牤9Lv`l8[pC3,j!-vcIa }g%7`A-j5biuXM*6B[]. 2t) 1֑70Π.vc[l6)**vqr O%?KuyIF5nAd* RC0GAa+1 cxSeiZ(g;F_~0UcDd[:j3I.yʏi4k{^*5RH IV-ʁ9^ޯhM2/䅳8[Q#+=Ŏ`&Dہ6;Z\ނyv!rrovhysmƮ1z5J5/@ІYM}~??o4Q`6]>ۈÃYr|,o%K$&2^s:Ut~I#$5~N.O 6k38_Vχl)| \h=>223r|1Xֿ+Q<Ǔy'Ns t]FtgHz FGf Jc^!Gʼn :4 ];R0.@K|3N$)!`9~`ﲜO6w Ǵ)q+F&+OvE ĕBf$;K$^!~~xhI۹щxAcKVַKpmKYi ]6(? ғcM Zǀ>Р[Ֆ i,eEjCù k\e<(AJNiGj5#@OtO6ƌt]Yz:)_ˢI%:zOl/v5<@mC*LG!_5EN}FM 9V"%?F_9b jCYPM>9_]mfe uE 9[ay"gn6+wb+qk)WQrČQc̹B=bUr{Qh3ʫ0ͦu{?8^m1kBxc̋1jGak ;&>iʚ ~.$:awridli#^J$84mIo;F8r yMfF(|fz >zMACt$$+y?HXk*QJ F0 3 x'meU N/.>,=ثV3Eǖ9*܅F@KVfJd*`= XFa6Bg|3ބJ;%P.z boyXZ7Bͭ#Dɴ n|I06;kg%QhqZ. Ѷ0.Su+]D(>!)2ySȜ%36G*MKu*OAhYIT5d$>k7H+U 9y r?ps3S(//c)s1HB@WG;Ww`eKPjB*)n%-iBX| Q:cdpڬf_GvԈA$[S°!"]ZX 83K8C-!``Vҏæ4e+H?׈`9~ Ujt P.!и1i 2&)7z(NfJUs=[;!D [: QJ|Zl&1 n9&{%;RZx[X34V`ٟm=!#\En_&Q_[4~k9-e'Pp b~uN>QCZwP +,}60 ]ffh(+ޡtfX@LAE\ZD+pV/"~" eVucz^ߥ$lfmP֐nM]ÑZzK`qUb%T^M>5TG`b@p`q?FgYZ8f921bf7e31cccb4cd025e266bfabe103a61451a62b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 d41a318480675fa1dae8a13d9d0f6af627e5eb02171ceab7681fbbdb4c3ad5ec3a40edbd24408e2f