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 g' l / GPU_Kernel_PL:threads=2elapsed=7.345cpu=12.744gc=0.596factor=1.747zXZִF! -]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\BD7?7:r"}U"G4=? y0jݡwŚqܩ?Kr25LL7H?& zYKK\56Iv[<1 󟽫?wOY6ŮM( vdPփab~2d|O;\:%]&)9ULQТ%`H)F*vtDrK#9y2d98doKio<.voE2F_AQʪb̟Tvl3Tq?94 bMat8+T\W~Jƣ@~BlRvƝ'`CLcĤ,99Q S1'YB1VAljDYջ?7yȬY0wCS4%M94sxJK<0$ҋgYZ7zXZִF! ,YF]ŗXi% Lj̔7TBtʎx L\bX,׹":2v4uJfbMD!Vz†|Paf*}cn?i&詍2/1D7< (de,@z`0Z y{Yk h]}sW R,4OyH }1 Ky饊X| 2=LΔMKڢ*xOYr !nh2azq8Muo0? R]/!>rQlV)OM%!eA^d4 I‹{O:5f$?EDؖ »wl\Z(&x у8M`HQ}z9j/_o F)XrR!a͟whP 2бP^oIpeT+0r+6ˆ|w, V+Vx3#&戅rМFy!