SQLite format 3@ .  YYQ77Atableisabelle_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, "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 (+ 4L }w]Quick_Sort_Cost:threads=2elapsed=25.594cpu=44.880gc=2.272factor=1.757zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sS1$e4iE wnI2 Velh ɥ`A=Չeu$\f, Շ{b(YoAPpuj( sz9AW?jk!Pm0?r(vd!䠓X縤'}LYr(GZ2WBrC>ehW֖/ f`WUH(„`H+]1 -d{,Dt縍dbDK7 F7ݢޑI#\Fpwɕ[xGi >j4Ék :ǡlgZ:p;b@*+vvd*]k4k34Y=s8 WMڸxOͳ}X;{Z."ϓ]a` mM1ri}Mi'mwr?Dko'̌$6, ٘:"Qb@nCT\'G6 z+yMA %ٟ\%"{©ЖD?nGGfoJ|eFG5:^{W@W`1s)ЖF|\ޖEI%iLVf1O gq +laK76VM@zk56 @CÁo> 1_8<J*U1Oʨ׿47 0xpg50V TnLɫzڻJ/_' _Wn+i6~/i^6[|kx d&ʺ8f[F?=ǝ> jsZj8ٱgYZ7zXZִF! (]ŗXi%c/4{L<4!١mu9w%{Rd~CpMdiPY{|4F{g"m|#Bzlf VsTV\CKF'5zfƚ͈iDpc:Om|J'S)/NYKY=vv˭q+I>#u1Ix9|!ȲF1{.;A.LJ᎙TF9>ETs2CN}Bh-oYY ƦtD/YފXiNP97ݪB~nWċMM" r<'mMDA^u . þJ -(tJ-Y ]QL }fg XZ=6uꟑ}[>zqdz(m-b|6'PQ6>Qv2 pPmn9|@RT=G6` b-g|d W$#kq(O"aG'| _A?c>j2IrW,j|Uԧv٢`fsdp$6s85h̵ˌN0怠Fn=T4Oⰵ-\w,o2q3:wI–5]BLL`0囦}L;</u =2֛vd?p|3暴BSHk`CV8lk$1ԨԳTX>4\@dr6, =#6xu63Mr?i!mxgtf* 8ig: 5zl|Z;O0,,/aT0TtOtsG5A %4%6؊ `In!**RQQ }}R%+2 y;,**c>zT1afA Ȍ,&"h̰F2)gl 8s3p:b_ފ ay##' .TQo0? O.?&zy٥Q%A]=jO*tjk˒Kb7s XpyKу>).1fpl|߉]'G 㚆#|3A`Lu~A=i# ^lV ? bg]<@/!2 Eh$J of#Q^)15-S)I.Wc A5},Af;h3@ !pA5O