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  H5$< ]/ HOL-Record_Benchmark:threads=6elapsed=101.562cpu=172.440gc=9.356factor=1.707zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2wF]^6A6\pt@a+nv|b(z^!$wLhk G$`ρgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h0 T ܊8yվ_ XfJA`j]ON}YZ7zXZִF! ]ŗXi%92DNpDN)h令Uu JFMMJD΅V/~.h nxF2z%Z} UhA~oT[RNހc%){j Ƶ89 ջԉ5T~b?R}j8B%C媉!lYF3pwhwRk#6gz_NLIvT5Ph9_#[%{:OiܲjZ֛X- " 4j01|nF0*-E7kџb*9<_̄+(u| %~,as:&N=eI҇aQT}f gk-[o!Mz>iJ9iDL7ӁAӡU8\yF!Ū+/IbX>ҝQ1,5\1z /nM I{ |~h!l礴R\ؑObmP=I(! (v8 YVdG.96wLB;?aOՋ^]&#jb+ϏH"2AN]clZe1*568<@5 8^*Axi,4"XpYr: mp)w|AkR"Ӳqg<V,>BLwn2D$C3LFTͮlϴшM)7Sxǿdt].0rE_T|A{:avFړI}7br]EG'[KTvڽ/rAj;Xpa!%uorgl;V1e 3 Vd=+ ˬD1TB16GIV? \%tu4 I9n ɓ? 7gAMDo46 OXTǸ9REUk$u`p<*񪤢Ii2.~ndBI L*CSր.Og4[+J.gsGZ4 X'&~eفŹ˰Kx O5+7> ,Pr_l.@l$" ƝtIsV2Ƙ!;]#*B9&eNa&&*#&,ȃGO' v4?[ܢJ iL)\FST[I`^X͹+ mT6W #9[ t8-{3/f &xgE*578/1` A%W-937_m'{bq3! dvvh#+əVk]ub IT}*nl_mطFԑP8I3+y=D}$%ۡ/NT"m$`|Ռ}X~ 4@ը kO~ OvJ0qv3K}WYOsRpﵶ 4r!7HNՑ|xM K- 6EKbHknC“Y(աrG48W ´lR^{qeRJ}n!B xƒ6r7gTll22oy3Co4Q"|̈́ѷ-0YHsQ.AqQM!oHWVWRștţx$#\z~ Qh&*HK!qńK,<dA@Hih~1AT,Bo|u5{*ހL}!Dnɇ-;/X(+v] eZ+>\ NmWI_{HJI&qnhlfLU` +1HDVEk)Y]MB4xKq۰hO E_K)kms\[-LYPakLi|}|L-H\WԊDNR.VqyƵu!~lX I.0E32 l;Q-I>jbbEszu2=Л7DVuq9='xJlJu3WGw;g= */]XO ӾwRH\6LN&z#o\>]'~&V ӷV%tG!KwG`Oxb5|[͐.0`Bm;l;bcfj@t@;teo@-%5ڐU͐H7*Ǽ bZ֔>TY*J2o(1%Qv_d= ZѾgOhp 2 ꭡkI޼+=2Q_pw|=iGŖS3$"r&ǡ +3w^Tnjlt9u8{t#t?lB @OI&IDcK`T3V&J}mp%\5nSIKZ!~ Cq_u )`