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 . D$$ ]/]HOL-Word:threads=6elapsed=10.350cpu=45.896gc=1.936factor=4.437zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z ẍ́d34K-',[g(n)\WT%nVf *6:]>Wy`lX`[44SOEy{F 8zmL3=,ɍ2;oN zZl}+}0gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AlG:p ;9|='y#s/X -($ت ]WK6 껚l'^`fZ.mmuD3^u_/al9ӹEH+q>>^DZ7cz+2aUt9̦N{iRNQj8҄ ^J'?iA24uq5 LGvL)t\hn=Gh]fc‘'i %*ի AeB0fR1f˷;/]?@[NFgV@),"TpgAېv=_@X| 6gYZ7zXZִF! 1 ]ŗXi%;[e !:5!or[-ޫ+N| "< V7.p gP4܈+ݮ CN@eB>A&:9;xEODz%y;.e4@nXHre-I]ߑ \:?;qAwՎN@jD:}2Hm\V'pbP{x!Z+n1"j>8o\anؽLAt,e^ 3/1k6,- YK zP=$>KO8ⱴd ?}H)p8¥Y+ AŷY*njܥTּ=8yu08HΧvcpqcux-j/~MjѸT[K t aVlj,|7Obլgш;nZX[}'ޯF/[rϏ0Fy6ǰ_sZa^Mq-yo^ =̤ʶ GRkkQyE?ǡ)Ӝ,?U=