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 5 4 // HOL-Record_Benchmark:threads=6elapsed=106.968cpu=185.232gc=9.064factor=1.737 5 HOL-Record_BenchmarkzXZִF! {]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5i0d@8 qaK*S3?& pKsKZuqo4ͫgC>-^UD!^1|Zޕ戅X"M&ͧÄ1Z|  C>>fe*15DAsSE+ұgYZ7zXZִF! H]ŗXi%ofpď+O 7b SA~Q"Q`6:>5y<EZVngМh4C4HD]xv)z O7 ]DzX駅 h*ifY_ufN9{u#Mu$RmdȯǼ>=d`Nx[ӽ0ۤGEY:_ˉ[x 7J@ -Cƀgbģ<,2.V#,86}jl+̻[ M qH')}4/`7q5ġ33>PB2~Xx=OX]DR^Gǃ1IѶ ]Ch,8^2p^7 ]k!8Al('+bQwtZ߮mb 'x5[dQI\j&‹{,Vl6p{؍H$sbBDKv0DEC?puЁl^Tџ,ڑ䚢acie_wOxP~F`v³ٺ 8[Ggso!QC;`/[>&"PfJ%lUoqWO c;aGō q@ C›tY-bnmIkO;yÛc)wof 9`7YbYAC]VO K&O !bUZ&,WK޾bǗ+2: u..r ~?Ln1o">bX}Za= gV>9w6lf_R=ΔA1@?8Raw \ ::XS%l-TOZi;GԀʿU$4/AI$pqrȈTvmp9d+8Ct|҃{Qo֘6F\TH|^RXZè>]=iK+f"<2q`fVzǿPF T74V)d>ˏDϴ R_ }mn GpDO)<w}#dKZ1fuҭ\ YcS$c""1Beok@ʞaHi I_HfHrb/3L9IQm[mū5=ނ=KJFD8EÃu0oJlʻ1 ^OyM!;U[̕^cuN{X>xZ`oM1] XX'.s*\{8O,jIbVwi>iud*nx+qi๭0WsB.ՈlFP ` \d;ߩ}IhEil,1w2% ,Q7?GޕʇC>+vG9ТnC[ULAN]H굳n_$C=LwTkV~m5bW~~(Ū!Â,rkyD0XzH(xsէ/`viFoI초gd}z$3J$G?uI8]"d! vX']V Xk#ߞ.)UUALLNf2eYV#JJ`pWKPZOHe񰩐 ۼĄ{#krG 5%OR`hTFZS&K2d"D8%P⹨il)$L܎.d .Iԯ xP|ǧY&x0|:N_>SDF6x[UopqW.4f*2PW {n삂 NUVqD\SL p7p-L#IWK h͚ ġv8g&}CM'1{)yϞOFUX֑`4I"joR'+顊/?J~M4!PmbF - Gkw+uca;b/? a8l֑cʊ:IYrcdq*hT|*$͘ :,VeRɗ&_+6Lm88]m8D$:J  ;NE!V$Llfkn6`kn";K9]<;c r&Ӯb]<9,J&}?iqol-5X=]D8|5''K#[?LN93ߺ_^C.ED009Nd]00]U=q`1ȯg~Fh,ʍy<ʗ0(ZGX>i@ 3ܠNͫwoGqCPL%B[0>c L98*aIKee1 -M#=$@;4V$#Aĭ+ߚ0ҾѠzf{c :NF7*pf,_:ZIZ_?izC -Z:z~Rvkz;y8u!}Ɯۯ!Ff| Fr8K'%2HxujPd"̛~½mZ,Kot~ !^? P ޫn^qYg[93ZB$3 D.V"~b) LO8=0ƌ8CMeۤA};Fs1b踱oԟHi1@ W& v=fZƙ SX)oYHF!pW<{SL!D!+K0km|:t׺ɆQ YwH3"K@>!z8 6apUkq-nF9GHQ}$sm8E;'%F<:G3Lb U#Y:^ 2'ę 3ovȡ2(Q?N#PYVTӨ''h>!*G!-yZlqrKh;bWM`-.ujݏ9t /kL`TB> q}w. "?>?uCbˈf2rs68ehǞWqm:ky5O*c6E0>zcjiWn52ի>0HwHL5!f\05ybw+F7p{[fXյ5e~[\X9ljTP%sdX^}o0ьcޢ)+9$@HQ O{l><䋞Y[6A`T_8CfķUzoQG)ܵjn ӌqHjR5ASfdØa,RA7@7ܼ`<= \R޶/LeG` ?!C#kDgYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f8cb68bbecb0ed1fd634e66b332c9022b3f55bd474 a756d93ac176ab627fe515dc5c3d2087811b9820