SQLite format 3@ . YYQ77Atableisabelle_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, "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  O O&5\L ]/ HOL-Record_Benchmark:threads=6elapsed=109.429cpu=185.076gc=8.508factor=1.697zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2_y꜌ פWXmŅݡyVxgYZ7zXZִF! ]ŗXi%6ͫx9 UxhNÕw P=Sl#V{*;L7 v3Fbyi>fKO!knC/O}( Ͽf]rX/|+kF?Am>]{`ܘZ1I>`fN([L+[}_0*H ʢEk8\65L.AvG{fqAOV35Pn|/ U@ZW<=s]CCйrI>nC+m].jĬlqztHF0?'ң]xgz.ʦ\FM5d|}GܯCG3)tnJ4kC`o8y^eDP[wLB~Gbl9bjvt^5<'qt6L&dc3HU{.̃s 0.ܐ(0U|s$9BkmW$>g#zЩw2 ZhQxRWlZK}m NK؅lôHw,o>›zz@9K-)+Xaݟ/ a/ߋҒ 5 HOL-Record_Benchmark0: aMw-셙rƚ#>6q}\`҅p~z? N[b eg@(`U I;3-&O_NH_Y9YY,+wx()aC2FȪ0B.Bc3edĀ}KpSq㻸 nZI4nwDGo\u>G㳀Aj=V'9@‡Y;6A<\~!CȪ&)${y㾽RZ(l$t7ںj?$ 6KL&~Ua8X4ҿkYTOVEwWw90o=QLw%,1qK7[&'Q Tzr|ֲކb$@:E D4VO*H,3mE%<Yޕb$G=l:3$k X[I1gڰ$6mש'@!aS@LbyKG~+Zit52,R>sy"g$TtCzE\W ŊC߬9ݬn"7 ¢GsԌf6H HuJ*꣈ŖM} L`H":g!l woYnjژG8J*:̚|Q }jM1 ˃.a˱q~!]<[;N>7FID&<îyTWf #]mr> 噤M0g (}Չ,A؇8I=; nNˬ%lY)Pu'Q "D&o-`9V o;n!{. B8.^%܃ZƚV>&v/*Ⱥ{r3k\3 koE1 MsbK~,LDZ]wli!$3TwZV+Ԥ_DiB#|¤v9ZLc3̛zL`·72\MI6+$2h3mkS;}aTË3n32ݦ*,J9(.+^iMEDP/҆*?Lk6ksv oa3DܝE03[WuQZoHx'3RRJ`%L&8LW_#7{$az"H{vxIQVtUnG8IQyLC{I䷬vF̩^I3Xv_O [8Z:EgU]d:"P_|E~h)v I@"\ҶXZpբn9"?SB˙%]zqQaY("XϷDW'kHJ޶:-]n՝cՀf?^Kĺ+GH% TWwl~~('a+R涐1>&TjS3C i/HO!ۚe+fE90' 6jfgKmMa9hG 6fI֨@с5XjnkE1[Y~YEj)fD$Ȅ^O^m9l#V!L.@lUpY+m!\&$ ufӳxڡ6]F.!o* ۇ%;3O07u^kzX%&eV^k?S AB&zK{gDZDX 5U@Lnq(uz#R7- {;4΃/ @i ϾR rX򁷕drs JXRN-$L*)aMx~D4#jH9{EiLα8R"swgqF}ИF_&eP^,/Srm(&WkkjN3bI&'x le遄0^KW)]_j -]U -լ4%Q‟ormvp1R-'fcP`49PiWH;GIYّTRÎF %xh籪Asye.3Jǜ2HԷ@^pS4-6ycg4>Q7yrz&z)""ddbnOjU~SC~f*[S-t]MàC:w;W:r$"Q6 LD Ҭi"‰#T8uE/>:]]gg;Ae _DrHh(G_vQnH0Qfՠ$i[|o]AYfh=u7c4NCIHZ[f ='@@NV 'AS !#&nW8m+ޚ`3oöz<-(fk- MiUX*$`CsBV+Ȏm2`c;Av'.1jIi}ߑ~IjګT}rz nVڗ8-\K>QNV^][1tt%\(dX3ȁi,p[8$-wKrHdXQwW^(_.|_ Ag>>Wוk 5)JZNckWm ftmQqmF'bh~2.t'K󝅋cTTh' w.@VeMQ j-(0h bD[Eb)[xK`b}Д ծzqKQ^]'j>P1 J呑]`Z0MyTD49'GRH.Ofɪ8p\A`LN#XY~ndu#xz/Vnzhv]nۻ ͱGv@ǹDUMc3L5+/Vl$ xt=b2M >x63L2M&'5x,VrRs! 4A plL=Չ#qnϜ8Gq+o_*̆ptO=Mf `l z+ik`?+ <\gxU߇+wѲMT.hR5N2eQyQ(%QJlY =:(Id6n J%h* ?CϠ5*Exhak0VT;x˧dd{@.X'5? Q1Qɹ8Xͮ-\yC=o9?}R &{Hu g86<h!bhbK "F56H6b gg\E9A l᷑<07+þj{(r4o[r2^Ȇo9C,#EagYZd553b76ea43ca24646551a88f209fdcb81c1a9b74c1c895207ab9e683ba172ce2764b942c7875d56 b18a5a4f54c33dfc5175f5d8feb995cc7463605b