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  U/4D ]/ HOL-Proofs-Lambda:threads=6elapsed=110.773cpu=140.940gc=5.904factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}9UgRX K+!!͖Aӊn0||8+vjLCOjſb=+U9P DT[d=3XzhRYWn-N(Iq̚$gYZ7zXZִF! iY]ŗXiɟ11bu)]>_ws[Ɋ brg)Y$\@xɇ$:XW9~NuWXL!Xp8UNԶBCL(r׍@؜eOH,NC+{?f-cs@Uۭnov m6j\dlܝg[} Mt@J4kcQhlb%n AR amEA/7@۞?D D3ђvؼVQ ϩBᮩݡp`m8HJCcxi{/*!VuuS sKgYZ7zXZִF! ]ŗXi%;iUGXhtz2ξ=)H.Պt5C:_s(Ӣv,SsKklihWWUa<;[dS؛'DE8x2o滢Iprɧ>%/鐓^oB&б1Iߨ*",Ql̳E5p4n)=GQjeKn#0-ԯV-, 17E*;cX .M$Ǟ1"% u7!(CD;`Hߌ a9Cr Ƃ`k{31;.ԇ臙/EJ7CxPݪ liqt~q/e;(Q4!@96nd|hWOgI5ؕJT~Fbͭ0)rN5Mj(Wo?&FQC 6;Т1J;]$7ahN3o>hgjGi~ y {{ / HOL-Proofs-LambdaP(P\I_?d jg NPTQf$'uHټ5;ӖK,޳@Kg36eW!1UbxkG70Z;2owcy%poXmDKR!US~DMdz-˕cA1W$pSBmfX3²]s.3 NsԢE,'G+lyj^@|RK\a #t0W Kjy7g1Ho;S*9ixs'QC wv+}pvbQ3ږBea J ]@f@AӽJQ Xsg}˙5=s$-Y#oS;Rf:9P<^ݸNqV? nypBW@UY,1r!֭VF=)EXC@r{1Ζt!*HtUAkHV@pS7snV09 dKK` x`|1Jf/B+M3y]-I$& t07i]oݤig=dpVsѕLh|./u[|00ԉ-{4`vt2ƋCS!?rd=eP!iStnPPb|@dyK_\/eB/ 7kOUExv$6$zb}OR6\F!pwYe%\Y"pFRJ% 5 {{,5ϿyMQ[m{\tL{>W5Zci׎Yߓ.6"W ZS8L۫AsСp[* ێ<2FzA`C ú.@'p%$Jv5V^a,@TQCl9`sS9I2ᦁ|r.yҷϥ&ܢ2FBq߆s#xz=ǖRd !/z}ސ,,Z$xH)Z.l1l\\=?laZLdafŴM7HUW q5%7 TjNS"F$險h ŖdPf$]c+'» 󿂤`Ō*eubC̴7v=-sZ9[]sqv]uO3"]JoUć,[8[7bYF4;qc BLZG-_U*a.y56{{3'Poi=#FO 'ǏQgپ_Yt3KbZ#URC ,H]@1Zi(ٜUd4 93 +TbTtw4>eG$ ah 4y*|mRbAZwZ&yPaS^j}2ph2̼u(š2F;-))fUrJji4{DY ĒE56b idImAll}Hx|i.*ѕsrqO(Y{ zb3`oڨ%)!:a|:cgl4Nw>Z8 t䚻{pqw= 6d}W5su||ۇ,箄b+twnEbii'#%7gKQ>؇ :4RaV`! wA eZ)CÍv07JFg▘vUTPG1PjEnմ;S D$վ<JIܩ`dXckFvAف݅d_jXL26 Տd9m/'u!p@*>@Trј\xDu?Pv[?gx9 aTqc6Ͳf3ٜ72 v6ixY^O9AdJ6w?{C~SQ9$ zAkW&}5Ձ}BV)A칒JL3Vn6L0RD<}S͉S^fd f̓-/.Z/=M 3t7]pffЯ6ī3кs&›WNR=i_aO쁤 :PҶHE?HA,8EAZg~oy3F77lc:C ݸ?Q|Ab Ry82^ Tڥ]M ǝV}H& XWbm'JBͧow)m3~PvdP$_2>1 1 vENg1 K-W_6/*_[, ̓JC&b/a]I}F.G}/4 !hj]yHlJJ h/:俰7޻& Sb|_fj_J@'ovc,]7G}$, R&*:˥c PQ#q[NYPJi(LKA$-R-SZYɝ\)y4g#