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  5\ ]/ HOL-Record_Benchmark:threads=6elapsed=106.492cpu=178.548gc=8.560factor=1.687zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2 ߜ҃6]9 ZQͶxgYZ7zXZִF! F]ŗXi%6ŎHf!H ܕ!1l =y!5/"1:+;"?hK]囉TQD $!4%Q|$EoюmN&(u&0f3g]Ɩ3U#1~Vl+k=uw,ɇ]<,ݫ]z`]6~rb1qɦhxc X.(q7KD/ȴl'CU8,d8 2g7>lW ζg%"4[Y]pP epԝtWOMĬTNaQs B,0K?ӋgJGS~0D~ fϖWJC, dMA様O:vlu du|M]Qm¿=ǧo%% P%1=_R O>lmW޾/n&N5 /eFt$V] 5 HOL-Record_BenchmarkHc`B¬i)JDp)9ӠA&_2Ri3)9/^%|êA QZQVrҽUcs_IɨD֧Q-gAiN8<:{OhbXEnlkIv΁icj>/Y&`Ń.:9xJjX()ŕ* ڒ^;vv)=Ƈx3a 4q놐 mk(UϹ 2 rO\a3Uf`[[${bk< ˍi? v0;#<d.ސu^ bdI -/fM/ ILᇜ'"H) }}X5` Tr! 5wY:^ ƥ%yR4rQ2o*u;AopaLOR$bIF<&:TWn͟ vLP7EQ OUGt#R\[J[/!eZ,L?֏,O8PORC=*ϙL&{ke7ILs9tt#ވj<H.ٗiү3${\ֲ/3Cf R 욁dJ ݐ%f2J0_`p}c$JLf83l&"ķ@j5,E 3/^;N1 y`m@ITx8MEB&Ggymr-1>M":oJֻ)Q1,'tYP &ߪcm-oXkK=v"Nߺ NN|5⍹ ҍHADV"`7ꗝ#[U~fM[RÞ{%m>ڗזB1`.:QBly?TrqYy“dx%(lLCM[cA'޹ru^H700)_m+3fjP`Ab;&PS\x!03A5zj-Jzt 9o7Ȍa~tq1 No\bKXIJd!S[rd_*1'>x{5 Hp4ߠx*[>+>S AzkVyQnꋉƲ\X`};B!UlaEꄡYP(] 'DJ4_QZ{R/#?U!t2kZxd>@e$j?1>j](^i 15Zͳka=|;XM]\ht)=g+QddAVգa 9/` B[ZlVL':9xQB#MEjF΄C-Y8FReTA>E}>[<.|qm]==G6ɜ1%^Lr=Mk^ ˾{93gE,*Cz%cVeȘ=z;:Qd0׳\c9$G%`7rpCŃϥsۛkJS 6YA:._UսNym8x$vi17| r5'jҫ(ˉuG0)8`0Z [|ɉIOGـ$WgծHDM<J;FhBsLQ y rb&\],~h;Y![}R,%vYlǟv!7R ةP,m)D^O VwÌvU/JY(z*?dF&l3Wl$=>fwzQI7 :_K{|.L/Lo,su8AkvbJYjgJ_0+<9H_$OQNj)U8VsFuwK{J9N@"dO&s.Sm2r/oq}'枝ߟ6)Cʄ@g6%tmbC.mp c!YBqA} Þr` *Ӈ7H&}toШN5m%n!MjĈa?#}Nf~W jQ*|GIhˎOa j++ c,8:ɫe.3C?㍖Ef-xY/Bo4Zt ,(ptuSAW5̈ZS*f'&1 P1nP^}=+ė}&>OEg٣V4N~p[)®txxǝ&Jk䷎6dh7GɾHO_uf~Z?z,p1't :cN7%)Zu4)ЎA9BsuX_3n0oPKgw ,0mCGR .u܀s-T8RjqŨU Y8phDeFc1~`Om-r8%H*GzDI'o7=>h[5(DP yM#FĚvQI{00 |,lbםjgiַ͉BK" ֕=YG61Ef tܹLYȑi<'WU^nGL!, AД)5, +?K"j2!K`\ %_ pڧUV>@K/|0 d9Zb1R1N.@nGz߅co,h5ݼ}4BnW_јKU?w/ (Sx:왓&QZa9 W+[Ƞ1x}L]1IsKdz՘4o>E{{#p1vr(AjFhPshAM<=H+b}ʒu a;(q"XgYZ0dce7e962933e3c726df5c2d302f09f99e9700a153f1d67548a50d94a90baccfd7c8ce511a3e1b4a f6118ffad2997e518d2c1b8be12985c8c95a4176