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  |+,t$ ]]HOL-Probability:threads=6elapsed=55.622cpu=260.436gc=12.200factor=4.687zXZִF! H]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k^o<-,G?|Їښ0zn gr; "#{3Vppe:˓kXŁ{BNB<{NR4[՗ckMu@),:)X%ڮ3]L ux.W> )F<ݑ{]tŪV\(35cZctl%DVROdmDo02h#BlWJL{I#ϼBX5^(h]~"m$RAߪ$<҂C7C [!d m,'iH[qˁCۋ k =j]F֬F\jpZ}=c% qio4j\*aMv~>IЛg)9!Q6!O1MGYhz *=Epɏ4K#1ߜҲS> ( }˭kF}8^J 9*(b9bg2 9 &,PEOu2զ RG䗚"!LaF rͶѱ$ъKiNc %aJ 4}j{pa" :ӕ-ng!3  + HOL-Probability л_K7!佖O0'u|S/:9i0@TթvY:C{~;E(ޝ|h'JEiD||қGjc0uֿVpخɮ% Ph[<%N7YM_`b:{aҰdpBX|yQ3;z;8~x^ⶃ٦9*3^.DryYoNi5eI q I+hF>,803tDdކn~>2"@*Ȁ 6VLԪ1aBS'plHQAëorkx:=,m֩0 Ɋv5cNl[9# q[>[tt%zss4We50JMˢQ2V:(0Lcxsnԣj `0knEZjuP#[uJN )Y.Zp/( T~tAA,;>//]uj>SUo8SAV\-9kdkCI&bэ+M$dEbD>BڶV[yDt4v#,4Fnai~QŏL*-GՇ Yz>6YFѱKdG Er-k(2"h Wڂhnm <Z~|]Lv2 }]_ bRnђĄL "SOv'^Uѥk$7zN}*`]?; 7Pg'9NwR-0G ˯smv0uLKy=2UiaȹC\xi DɊƍN/s.r%֜>e <_= i͊gstyA/5"2ZlQ&G Xd;RsIլ H)0a>GB fWi:[kvnN\ʗUklD`Ygc6$x`=8o3Yj/N|o؂b)BUAΗn*} `ivs=:>ROutQ}V4w~Q!CP84_仑xݝ,wEO/$!tLairF& 9Qe޲dY9+nAVve&#"ŗ}qZbR{*? ״B8Z DGk R:]4{Ra6 ӁA׎gq9x,^`L^\nxaCD'ɢT jc џ E VgYZ7zXZִF! L]ŗXi%;tDz*)$bNP\|A9XBv?y0DVYò)|h- `4G#d`ku]+Spܟ("S (kn ƛkLXp\`qaeDioЦ0C jv&3HudȻΘgCQ\ }:PW1E޵)U d.Kew[f3i롻gV|V>`/} FJ߄ftqt`+W4BT[X X*b7wnL/.St7G+#7Ӵ;4 xniSæQ͠xĵ{&rj}o Ng7V=8~ f{0]3-YL4U 5K?9ƴT3~_f@4(ųASgO4#vMcJRv=?8DepWrֳʼnga "s+Z3ۢNtU=ŒaHLIӛullS4U8hqA J 9o׼V(K_p77[:^'y҉8 P.Pz~M++*=T, @ ]˰b<#%z* 'T@"zGV%HC}Nn9jj:^w!o谾+T)_z$ejF4BޞSIxݧEi#}v*=z3`Rqң5TRW3?"Bܻaf ~D0CB*1{VhF-.R(FHOji ^rMJ3(H`cD2pMb6⳱ c;J=iQBTv}-g^)Ys\+étk9BCb6+iD0S 6!H_@|]byN!Fߋ:L38=gb`Iq ,Isv6ϗR(ã-Ǽm"R%ϼ ?gN#RW*F 蜪CݾNΏo:w=?&.B{(T`cf[ :߬9$ A>Y|>#J[wz6zhAŝ|j!8qt^+Ll>UAsQd>]u)EEJ'>,jzW ?GޙUpsi.br (?aAUj.$0Z\1)r݈;^&>Rk^ yƤ z͢Iөgxkγ<6ἍEka$t&BHdkko98sʮ,<͑U-T9~-'AwQ1t'?ew[.VNvdN"ZKw^>XqRXH oănXy_N]==Vӆfc 5$Y8O_dX >ޤ}R8OEk_Hf@Efޔ=yn4s$" Mh]sd QmU(;XxܜhJ Gp^$ P;CC=) GT6Db\b? fe t=7:=uksRđ3b|B@S/I{^n:w J/h,3,#^6-$ < w皨jUW,$? x>^^_8VeMO䆃!{dBu$#dAdD1a.ux?'Q:@ڑbHDO,ʗr+i._~`Ls …(pM T{7 Fiijf8 ӉH(17H,2_%Om