SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 2275 l // HOL-Record_Benchmark:threads=6elapsed=106.578cpu=179.244gc=9.028factor=1.687zXZִF! {]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iMkh,ZW{@D}TQ#^9> F ^ߦ».܆g xKfS5) >.:S<<4'߶cKlt΃`[ U>.@O6d~{6Qu(bQ4;=Z_nLtJd\NTh0!ëgYZ7zXZִF! -]ŗXi%(n"'Qno4^xq$ pxrT> HRj4B_zPm<dtH ,abyK/ &* $?k䍜xb73?boS|hC)f%٢田5Hn&?zhLyT&PXsޥތ:uJ4ٜ{7 Lb!I( ~3>zN/P[ZD^Wy-<> mgm6T)KL{* vFV0&ͅO &F~2:3٫`1͠}Bg P[LcJh$az,$&.#uM]lSʆnRsqvӥn^}CdNCfڮ`ulxX !瘁 r oxd]/˗[1E֜Gpe'L@qWUgj8H 5 HOL-Record_Benchmark+iX=,!1Zu=pGI=13 7fuYI .\ 8@=s{7Gǖ9Qǫw a\,MJ>/$QEnΎP6nu^p)..&Yޢ鮊Ibi_b/Khn,j=^ag;22r|x7J 4JX<h.~;=ey[9QpDh 6a`Lz)cO\KQ{ړD}iQΙQ=PbI|#6IgJ͖u;-u8P#!癍SRџsP!?~9#'|N \|7ڢWcG:IFȧXC8WR$|/v߷qf@q#[[p5IJɾ'oq`ڗ0i0N%Bv ǢbB=oH G>>.î"N^? =/c+ƾTNuȕMАnuH9b҇g|uQveX)tjIg?.fqK:ξkEy5gd+ _ Q'x%ՙaOp. I&1"e&Xpq L^m nE0/Dח\zyb曙R J:|{Z91P[ M޾۪[fN~!(ZaSP3Wh^1m<`IHTF~ aՍO"Oڧ*ӿËfNC5< .=LX.jP̥R?㲔o >F!`NT~Uumz pHQwtѩo1c 0L uk,S~*!%=Ndbgk&i0־6^*8[Sipk*V4m9*^ D()q*qe_@!9^/>̀YonB-1wݱSpI5W|`qU܀6͢`"(Ɲ+5gNbdHcWNZ఍ηrPl }xcbsE޺MփR"<"idv6 tFyb431{$ʃ Oj&HH6tr)E…;C ΍Kmǵ־oU|=N)}a+yX 0;uyA͓*j _CVL+NAJf$mWQ:^iJ8xȻ Z34(ЮAl.k 'I zϣ*H۟;v :1#Pģw R*}S`6A0kniG0a;s=eR>?,ŨLjVgO*X~_<[(uF%&B`Ჴ.4>1`廂G$=1yb[iBv{_8 66$4!N| jt(L͊95s5WF1Ys\R(s;ҾAy}x Й-/ O,+Ap|2Mjz}N&uu|*U'/rؕI Zz/ -%}`$>P8`\D{mHt޶M2/h5j .zBA0؛"vfQ '1 C;.XOBP_J"Uܝ,:RL'8 H6J9ٟMrD q6YqH)M;|7ŽQ=Gu#:&=QT0"A6*l"T|~ Vi Yq{UCuU35sBM_uNM(mYLtkIOF ~1S]*R%syLMezan$F2c8CXwza4g?{O3o{/`dJ /X$fKG[IϊjPf c,UDZ݁\#/_623$3{=z6{G7S/ x)K pPҵ|OtxȒŘ?ٲ;qVTdt;橻1sVcc~;~|nڼouDjrd,sd(B2uE%6tu {1h)p H1\-:u] : ؃L(bP3y̒ 7 d S|A ؕ9U]4mvmb q2ai)MpONJ>Ժ`s5S AheJ0LUR=6uOIW,IW$-5&BQ=J U%wϓ|/zqz< {>H aƚTa:A')by(cBЦHUysy\u '8+o=nk#-ssR[!) F8UGaeRB>+̿ xҫȗ(q{WW(|[(Y"yaY >ϔU#[ba$s8FQ8 `/ҏ8d>E9SKo>Z^_ 0ޜf