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  k5\$< ]/ HOL-Record_Benchmark:threads=6elapsed=98.392cpu=168.960gc=9.464factor=1.727zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2:eu~\-%ğ_˂bh xgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/(`A%ENG}#\~K 1r3 qXk]*U}YZ7zXZִF! ]ŗXi%92t(}6TF+~ W+*Ok\: AcJ q" $|j1%Cl(,(T௰FICTA|+vGˎ̾"b{zeK_n'sΤtdILt;Dj3vzjf=,9:tu&z,u:nS\e] 9K:hX2 qTf@!\RMT #8t}s qֲ}wB#<[HVR R61?3 5 HOL-Record_Benchmark`o횽!1QMѥ|x|W3 `B4ɯN".YL׋VqNQ<1^usxv&ÞpxߖwJԙIG\S xv^K&]h6%c7V2>I`z-k{K z[ҡs/Az3ّi~͂;ڽBMUyOTٹ+xNm3(Z᎖,1婫(h힦mf_X`U[RcН"3) T.2Ϋ~T~!Ɓ,߹aAǑy,هpGocJw'xv嫤mk^OZ3`} ,RīHy[pEfa׾ZR5i)ymg[Y*[ B>1[a >@UBo@; )a\>+%kȾ (tP`DCP, K±njf׉"77uNιm[.++{z m&0EzU8sc@^uM#"r|cA&Gt<n{78C=y_" TڗyʍtȌcvX)p7ARwaؽ; rI E]dNd@&.!6e`VBh>b#OOT-8"?%Lց~F޿dHo7*Ik* 3f`URMBB_3F{$ѲWH#Qrߔvb7GvPRz$(L0͸((!,kNR*ޢ!E1\ t2w3WiplV+v8 -Db!&{"]K;WP#`svd j~Zz.l c`edKAW^$6a䖷7WɈSfꌭq*= ,h,! M4lJv!TӁߺ >Շ-,m6=^+ 7%if?e(:GrY2S `R\1oqz4򢝺Jì?߶DRb~'Xtq#cRx4t)x#po18uAg'&o9,@Y].;;Rȳ* 0[Ǣt;74#\񹪗+_Q 1 CDހ9[%id֡P,挷B7r 7>2$ofhR0se-ˋcop*\[4X;%7r  N F^.e|F.a= dU TGB|yya%Q'À0W*:/Z3Ϡ'\RS& o?.H4-=ľ XdLjvWvY^0Pcg JVQ22B5;Fu ܀ܴ^sL6Ƽ>RȈ ׮Eoe*?! S]+dߙO'i#NGBc%P ƝסiWU"IPY٥ߗk\<.od_ 7H-௱~Rf.0our@NO9gF7o}H!A҃j/$8,gȘ?|:}{#Y,8qnCXRK#xr ޺gxH2p!abV+jf̠"MGt-;ZDۈBRO.3j`[a8m1?Wad}=#OAIlnXRyrbΥey[mΡSb *C$Jm9(R9HCkdt62V)eD^ & tIlFd`eQBSjvJ-Y/dQTF#oЭCh9zK u (j2YF"A^2HW'$DWW}r~ |;@GJ(uIg2,œ{k@v7YNMYƓ]3ŜR#P͸?2'ܵI y(W,j@HX.;QΝ{ |ԝ/%8_VuJ EPHcY9#z~+y9~[ȣQS1,m!\2TD4 W J}-=D6 ϠwqE1oػ^Y`/o! Z'XRŴ*D%֑u_}ꏒŢ(l{tKf+5IzV?B<K Y\Ɂn@q. !|%;dלs>oabU9mtu6+2N1M: 4R !c3 /+Eّ[֍QիWbS8~96XVthA걱{n]e2M(ɦ6q$m%O_'r49)drݑ"QY ZBB\v\ѭ H=ʊ7C> :> prr-4-Ƶ$J1r5+ vWgh_\%,SF< =UQD2Gu?7-hBjjߓu֚.rII+Pet-A!,WYb~2匳}Ag7Gk+PUn5Fjv,/qRW/WqK.twoH4U{fRor{{ȝ/XȺW441QU{8^]*{ ޖݤ’ed:9117E.ye6~ʐJrR)MagN(jUƗz M##6`0m֏4~ǛXo_V8ʡ3`LB5эq=zXS\TVhWSdق6߂UbӼU.K(IMgmg.p9_ʞyo:l:vN;Dy?x&x`5 |_f 9jYLK:WM ne²[P|B$hWöEnKNIB7cHGƨ>;;#ӳ)E>L*Cߥ-z얆k$?d'm/ۜo)L~,{9