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  45\ // HOL-Record_Benchmark:threads=6elapsed=131.901cpu=215.692gc=9.456factor=1.647zXZִF! h]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2#:bm0p^sNjv3n.:WB/gYZ7zXZִF! fD]ŗXi%6Ml}#6Beľq>M#||;8ghʀyn} ge^0b:,/2wТ/g`xN2p mR[qX"[C޷uQ#H.F`Y]û(|5u!!ovhέ̼ZHsx ϗctW)Bޓ}/Mj]%A|Uj\<˜X(Ղw-0eO'7FQB.ӣ&F[@:۔J3j8v:ώNX`=Y&)E+u³->|㖒s'%l$1NP)/~=je1u[)H3෈b朕XSo(+Y]ެ7%TS]H-P׸6- ѭA#_ȽTB aj0 @ڵgN޼+ϛ`w!Nla2𻄲桤ctBr{%Y)3-:C|Rwٝy@nTDdKr$,#mp|j9ӫU N3pI2s.bU<^Q$@NSD9*IsCձN`|p'5X43…zDoUP[ݰ]7V>ӂ\7hOM4x2ʪ9.F/j6$D d:" Kux]#s(MFN?4Η /zI1g_go9k]*%~Uv ? ՜y6q xZ|Xqailjdw܋ KCh\Iod9 Y.MtRaԒDR]M> `qU[j'|;~mWac%  nRIf|K }C gl`2 LW8tS.u%2lbCPSp$,l6cM_,\ j¾Dh27c;Q9mm q5uႮa\IMbY0݅{b7z~ daVKu}cst#ʎ<-bq VF'v/DEex Q(RgnNDJ]9O-^Uya_u~y2`QeȭЩ>\O6U.U}.T?3=A 5 HOL-Record_Benchmarkuhtn E5Ec)ёu2fь ȗhMs:)GaVmI.$hB0aW֬;Y"~f~NA*:-+ $C1H&T4ԙz)xQ'+|+^;lR"ZڽE H(z4oWbo+U5cIh1cEBA%\ c^h XPKFT Q[$@W#4ˎw/ 0;/)s㊖:"4YF'?~IѻL}d5+u4/l|Z0 inc5a*I+%ӅBZbVB#M7'f'"gC;jay;غ* Wb*b&}Nh6%pg a"-4JLa3Ec+ix]cLD0bT7s~za: i >b#-% !m=A$ǫ;cyV:%hQڗk0+8ϰLVRrnc*cS\DSWͱ8 q @&l޽-hPն,9vE[eCɼ]f|!y(j ɠr a?r RXy'yV6'')siwi/0K]orY'bB>t8gܸ$TF1NE>p_TÅyCǯy:HwSJs(VjXҡQK1G(3l>Ww:$4os?G㖋1J4h[G6Hߛ!fj'/E{j>*c*;UGwakFzU7D=sT:kD& `nfިRU茥)Ua JVۅJ P_R.*bǬ #9%C0:`ܳ *SumՈ]iex>sP<:CAmTx,2htO' +~|^IV((;HqP|J P9G j%:6L5|cڴ6&8c_da}:C|)J[l:0#*x鶷?{g5}D)<۫#9Žz;!2$0RE.W+\X;ݎ\3) 2ƈESD8%7l&n|` KψhX> :" I[wM^(֗Ji:OҼ*'W%m7Ht5` @\ Lb#ZCRfzV؋!pPah7cjx3#@rlP9 |8{S!5nV~G0=9^ѹ7{"XwfƝ3LŢ 4SѪ3KI X>D3t%hh=|HAIw:8,:|y1^>$EF+cѽKPR -l :vr>~X8'V ;QU.zp()'ӕ sMqO~D![4&9C2KU=jĀ@mVDLI]zpL)5{3hz%Ni c{SJJM_"Iop::gR>OR릶Nl.^˭.dVJ)Z}-*ɳsՏ2ͼvI-!c+&v'x:u}qOa:yw aGC(<'SS{6]3@˹x,AFxPnej5b!^$VJ)蓶wȏ/.0w۞'b _-;X=p8A5ٓP6zcFX@Q( cfhʔV",Z.s[C[i[r7":,Ds9-4fDZ8n&kq9.(ǒ&i9m+XXcd1` #A:ifQv%gzj%\JQۄX=9[H,̌7ۃi >J5y[&Ld>2\ }vfuġ34G7ohr.͆i @#[RbgbF`tdCBegf8T ţW gER(27[Is":F;ò*~N\}F& ZS-"-:Ӭ ۸z S<:Gec5n'>VaAEٕL]jbywkg o+LoZa,'H]GEdį&fuT] \@T3G~$գAFʫfLQ%O{M:KTDT }3L vgYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f8af88367ca9b3fb3a97f9aaff95cfe0de63826391 d09c4617cec10cb00bc8d7cd1f6f6fb4efd56ec5