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 x/ TDt ] POPLmark-deBruijn:threads=2elapsed=22.427cpu=41.584gc=2.284factor=1.857zXZִF! L#]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4L|a (wZ3)@+}x xSbp=R+h=ɂl)60knۗ,bBЬ*^x:} @@Oo#QnRx:hHk8t TpȮhZL fq+SCP5ΣEQٶ"x{'A K¾36F'ECy (K5rz[` U HFV|p6e>cʸ>>Y5F>t0O]= }؍l?TX7KBݝМB) |Qz%6edxv^o:X Ak/V3C~aTDYƒZr |ku_ϟgSDu0i9,l lxs@ܛT`ẹqWIpc[) 7^d4Ď<dϸ_v4Oj=sa$Z *fgYZ7zXZִF! ]ŗXiɟT{F moEhuFw .NRqf.LX05 PaƮ͊&$)  L{Zpߑl!u1H+u5` adFL۽L7HgYZ7zXZִF! ur]ŗXi%9(PMIQZf2ڼ`'x*qPz]>8,LVW2BB/5,nբEQ易DWFGnmQ;tG|BKgKk5VFNֹ> Ya8uT>:Uw.̂= ݪzE&w Hl^ I#̀ocZh ێpwߐZzZSNZHN%F-/y+R'46%z/~Ƥ DU6; '`*]JL:h_:\4{48`,x&C 5qXuvO m6,#dbЍ&y2]:J ů6Ep3[ScJIr!D-=Չ!>c:荫|]<nlu? 74 h*K^ϔФxVRU1䢕.0^3P)+Y3 P<`q)p!{q@Dt;0 >QEMĸKѲ=pPMh+M.ֻߖXmYdȇ$ Ϗk:O j+Yf+CL;k=x('\EտR 3y[ 1YHrI@ҏOy8 }mguKdOQ \ !AA-mA=M(+Vok[ IrRHXS;kcxމ䢔W)Qҏ;( ^& N=e i6*q`'+u 젱gYZ6f2ec01a9eab53a61cc758671acdf805d377cdfe620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f / POPLmark-deBruijn