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 FF#5t\ // HOL-Record_Benchmark:threads=6elapsed=106.027cpu=177.948gc=8.696factor=1.687zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5i%0d@cՃ끃8n4O m{UM]],toa3!][:!X7R8=h K׾A וڐ .U }!.gSάa Ln3wjF!u; 3KWh-P\a6eűgYZ7zXZִF! ~&]ŗXi% aco)9>`힪#+|ΙeWQy7o9it pv;ˉ D.FUx"7\. }jTQae9 b zYq-YVtc 츉 ?}(\Z H9TL".A"gV\,UV;1(pJwOB ǻN@h9 E|ڦl6??`-}U^3 ¢G=ku.o}1DUzL ϑ7OK\n=3dbv}ַ=jvs꿾Mw?\r-p4NWS/(>JMUǪb:{lF hìY VSEH@{t* l/";`D.t~R08P#S_!AtZp: Ctg5:mweBR >jõe1[Q+. e8u@?i)mmٕ\v]"V.^ꦆ'R@n%kytYA{ biUZ,R'Npi6mB8mi2 H`"K@R/sV8?tu ݧpThD4Bu˟c`yjmhсq?<µnS7jhNak̇ \őA.ۇ1G/WOÇ QY),3ΐ;1SgU|2:d wc(>32T4Bw=J?Z{g[:Pzc<_ؤγlψψ<=uoqi{]DR+g95ґm^P*MYdk>PV-Kߣ0qXL :a4bZr`Mk Qcl̯} !"uu*¢ZST$MUu!%X9Q#ǂ`i%#zAJ;_@'_ $y -,^,4>5f{/S%nUN8"eYfܭyng ^avj{LJs"=/J!ۯoOj>I+w)Z 0ƃaugP>;$ >v0zG ]xP $ThPs>cԱ ? XT iYJՕy[ H]n'\!.ueGz[$NC:^퀿*u`X7f,I)x^Y;{0lߩ>6>.G4:ǟG1Z`wA`y.{~jRKWu1_FL#@BjUĎ2REƋTb -3~5^=|% 2KJ+ibI#D +rI=ֹ p!hQ5у(FgI(!Ks\ uLw話Ƒ3K3j'7$Nl$Kx=^g%[mO҇5w(8_1\M}oe3UO;-Bʕ/$YfAC\ۍ ִ2;5cN<ܐ%T 7me5|!Dށ7;2E;6pH3`]d7~(S@OhϠcZT&1J3A v_{ nDma U{B3Enb8%np3A4G~I61&X`aKٺ${MչU16(@+'BlT_Nw 팅 1Hy87%GwMuHxo+҄\v3W،)8j@ss(`*GHP;*qP;j&9r6>рDlI>.W/mqdJLo^3ĵVYiaLɢ\q[|!kBէBKW-5B|$AX>;`t9txKGDvwmr?LQk}ܥ,Xo$7~D)a$$QBx]_S/(^f5Oemvi *Kԅ7i)50i`;2ڋ7@Rho6o(#whusu&$m_zJ _I9IT.% 1 NM {yuXl4WB:yw `ƞ/ԳOÖxE2qgs c \|eG$ʆfOvFOmÁ"ix6{z a8i8ʪO+[Na+Lso{BE@LȒQXHtP|QLhsHD)[GYcU;br*/E=tCaů򾭓ظ@(} .M&k=WƢYL8h(4 *1mw/r>߭W(R\h|~GEi+yì.h5cUvn^5YXf$'OMT\D%]6C消jKlHEDJSܱKEQ%:=D.".r[t"Wй]8$ ]Qz(a5󏒲FxeD ,9iS$`5'pqP0?54jH ^,fԞLict Xu6'r=n2eUɌ<`$Md$Aߐ}6U*?'3]nm ;pTXZ1h"V?a/O hyMȁXHN^QV>ONNvCt0 Mz߅9_WO 2DCD'',okdKM7:+Sx$ۥf]!$D-1#vLNLl?DbJZr!Ar/`T_r0U թç2(FnW0Z(xY#dٿ4$c홟/c)%qVܐR~k/l"|ö/<9ͽCAvFrpI{{6ag3qO.[0KečQ-38^dKļeʹgƥ%B^cfQܾ]8]I"c(hjq nσrt|b87+N_ #>K6^:.{=TCLWIOGĂIos([{!˦/jPUP5Mw!BX $Nk_*4(|on7iQ RvRMċ~};%D]ֿ.w2 D)x"(+߇KcSbchmzkc 9w:HX:8HL\(PL=`%Cfփ0u#ؗi4y3+w}b?öR`h5_sYRuL1"dK1gYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f80dedac0383d94a00648a08d548aafc831c691b35 4985c043290ac6408aeb9e93b2d670861751f4f2