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 ||) \$ w Binomial-Heaps:threads=2elapsed=19.405cpu=34.708gc=2.884factor=1.797zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹ|af3}tt9ϖsۻN#]*2h72 Ħזs7(Xe14(8yY`l0x$yN"Q1"DGJL5Z c1j0s^[o:|݅*:4FGj:n2x;#;LAA՚D[0DR|-p~aZDQASr&WJ !K'K\ָ ،aӗ_=#҈Mf<ө%3?gN%*'wlܜ,YApWb3Jʸ#%]EN_3&000F99.3bFb5.gYZ7zXZִF! b]ŗXi%6\XgͩW %쯆@#ug"aNńPy4M5fzOf1ȗbߘ+QjDr[39q&>FC&ɮE]W~{/Mɶİ*& }RkHJrqfOY8k;- N{Zs avG;}2_IXaȘ[PdlGZ[l6쑣hldj닚a^͊ Y~Lq$BAPCqdmЇ!{ͲFinG6c["[p2 g#Hp$^!'t QF“{EÓrP^S LkJZ'[Nu y:~]t:AZ"L,2kyy$F[‘E0m9fD)˧.QoByl5uN8Uoy[TBpz_GrN8 6N)z@`yS *! P =䣏5n/:7cIZGGј}:34IߝGcp4#S񆏏 wGSDp44Yt2pBZ<7L-UBP=~c̾&fyX(S"Y.ܟď1TwtY%/_nb:ңH;ID*p._¯)D k^ }8b\Pվ (Tėhi=K%"6ς/jƦB?`pܽݖޔqٿbPT!{l(?w /~ҏ1h"/|wPQ`j-'t5 t9y5:N8U_+5,2o