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  c5\$, ]/ HOL-Record_Benchmark:threads=6elapsed=99.284cpu=169.672gc=9.544factor=1.717zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2::=NR(ٸ ,%C<> xgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/(B Ήs}J6Jbǻhg*}Pk]*U}YZ7zXZִF! Ј]ŗXi%92~lOI1z_0UvG:*3=NDIJ=g$ceέtq_ևxWŪ~JJIEsx~ bc!`HzNhH PO&sY`LS>% |2qs$՘nЬ"MP+04,rzg1 S0Fs3ZG2ҫ#˽QAլ7'%SNvU%%1,%k* $`rI8N6}.S̩٥ R|rASɀDzIϔ^Ka~Nf^f_kﭼ'pj"[Mm ;%&p,P)۹PYeC1[1~ neڳ{eyj\B~%)ȫhfӘ2 C}> sR#\W `xT-,@$^M=HF&o2/fEh21lǎN5ƚ&߼I,PTcV4|fr]٣NrBIj2CB0.xA{[$)Fm|JButc7~C2bccAŃs ]V4WӾNY Lc EeaJqh(46 0=RD>>Vs\I ΰ ֊GWtw֥\s=O2CNtlDtvjx{QB 1ã_PyFpHQ|~VGdWTj LRB< aܢ^y'8.Gs_50V+Oޏgr)UFb-j?5/eU]h+E`2wkPwb 40 I^^)ҩք袩R F]`m)]φ&c-n70l<1 WN7o FE6˴|r@Z+[ hoB> `{"(DE>a޼k3=HP.FA.*o7P_0lȬ ?nk'cH79zmMPt'aX{켠H0Eՠm QS9JBAk{PnSn"'Do}9#^n.o8t1w3JF& -ވA$gO] fCﳛh?OllE~s t@<lS ˽/ERFbK8!`|i4HUbh xOglDч}~ f (oɿPkjR~'\b1(xA zwe +ig^a!ds+ *q H$v쓞b<;܁N򶣣9WU\Q.IZ˘5 .%mC\=p[[zLyP^I9S q EfT|kK[|sz!@6{@o\nE!#5Q:xBAݛ;)'6vgTAivQ֭3kU0gXfL~jCxWҖAY(;6*yYv>T@0Yme(uEH t闑"HH{hGM"(8r/^l|oiͦ.~J5$' Mz6Yo|2Ł32U4N2rwX^}W͚_#P4}9QtEhMn6uDb6q{BNI^3]&3ϹpFfHt0qV;>OZ4aE+(*y-€ k9S;@YP+CJa n2c u-K$Ӳc9~Wa8#6_t<]X7{.Xq۲<Wr-5NeA/  gvtߞ!JmRf ,,Mw0ɞE4aR圦f+b+ %ǩOz]Daʸ}T"T눌6,뭻`0}UamHL5Kc@(lf%/ hbkoX=U;8 \3#@֛$KG^V Vp~w]dPpں0p'ѽΥ(K~LRb1Zɉ6^egeNzt~gFr~|ͶE/hsh:+A!΂a 4E[ dR=EE5|E0%nb84d\NSCn(XX^Dx{%Ol 0Hy"S F 7^;wqOŀYxՆJ Ód瓥ڣb\Ԩfdܲd""0${`ҽytsIVXHz#O6gc0_'6Cp|\Ye(Cfցcm [ǏFCWH)v,=dmxLJy|"[s2NK ߰^oM7gz(hm;\bt!{tbz#jP"U:{$oHj3RM~a#ezvc-XQh ȑtߑ]kEၯ`=3_2uU]*!ҵkS`RF1$ :,@=7'mȼ)-1v¯⇭1ئC DLӥ"Ϩ/L^]sYn+ XS~V%rw>\ bIˠ 頛ť.D)`0-hOc'oVq?ڽD#Ż0uvg٩O5VSUK&eU)ܯi8 9:}zJlM{+f[q~,f6c!i<11`^9I=G-*[RC>)ˆM}M7.'8TL.6_9Rqpfpsd@I]  g:5ICpOOl{%.{3O&qLv8P uY;" S{5Uű6MTV = %ֆ (@B5f^b|wOi[ֽ^y"D^ő2E1aBK6 =~WT8ME["yDZgYZca39f4ccb535944aab56acdff6398e2f4658213aa46db31bb55395b3dbdfc848f24a96e1b1255d76 d3c5454b647092bc2e8b3ae36c1c54bfb48075f5