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  e e$L ]S Real_Impl:threads=2elapsed=74.347cpu=122.920gc=3.232factor=1.657zXZִF! .* ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkL&(o_ně=l%~o}c'0[7'*nL/|o)"K|HM'X.676 wƕDa4>v|̄mf~*Wz+KpM&^g$9)9&|~k+O!$WiC:g,A JLZ8Xpfhmfs\'=',2CݧzT862OnK:>AI'Ohn&o^㿇Ű̜`$7.5ˠE:x88jN'Xbu;^-="j@֞#3„p(O.gڢEӨyLӨŽY]?&A/J-;_ d0f}nA LHD(E2N/*t*?cvWpcx"dh CY"]~),7f=6;{e 05Bg ㅢAmo]S)^zEk{*7PVux Syb2Uئʭ`,٣|=?I]x+~%i={ t-/oB\h%%꣟?8VjXK|X'Q$[u25EC;E(kȜV&{T/MP[d%k;[Xxdڢ>Ue]MR=ncB:S׵}c~픕V ޅ xж\+aq-sz`H8TGš'~w+W{Ym]~ ?s-$(Gd:Ql` ̒f'T[گ|֧A*BrɴR8axqKl^T @ ?|aiXy ѸL"no#]8ᩊݡ_hBNS[c*91Ъu0y*!ڢQqTSH8n.ψ$ C3 Ǭk ϲ2+rZ/'Ô_2%pQʂti}-٣aw7T)@T M pbɃ*snLyG^yjߚvoC lC+M[ZxIyhp~m6[':MZm: p FCۍ]uDZ3+À2t ֩GBWcݠ9S@ƨBamM|Z'WLnLt*n]XTY+}H<zN)aEDD-4zyI~앣ծ~u Pg.J"B'?cs)ڜni\,yH)[5eDFE+2? &+7: wHm2\N^)epB E+6#"Sq ]fzEclp⡗w Tev58 .v2 )AQ6ۇ+WT3yLAn=/^bߒhb|aD Dv_DRGEP|P]L754A{Jzd:}n5[=:8'vR7Ujʈ>n{G[ZTF"yn&HE f_-/r3I[~J cGG88zwT2je/@G+q`))&$%gѼ6nÙ E8I)YPxBR.CU㪱6}j'IV:#lq33MB- 54Wf_«ShрX؂J6RkM><\/%n /mk]52K(؈K9%ҥ9hbx܃ 9z5:yn#f,RvbkQA vՠC@sd9yNz&GOh;fCe9"v60 N9/ֿA&zpE:Ҏ eݿLba | $-*C99 lZ[(lUz~snGn=2NHR̄yk{$s"QFbX_ m5]@蘌 XKGK!޾vHr{N@&^kuud- D9xs*/r#`Ydr:nj`,2 I[lЖD2ZcO?IOQ9q4նIQJhgĸL賎weXlB+LYs=Q yI k'Oect) q]CQt f 8'KM:ǘa)/=O1 MN6`K[Ϙb4 a$@-"