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 {% \ %S Posix-Lexing:threads=2elapsed=15.084cpu=27.804gc=1.440factor=1.847zXZִF! q]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4vEvzzo44職 npL|83?Eݿ]+*}ـSηkЅ/a,m/8;9>lkUfp Io>Re+"%3һEu5xԙLrBhhԷʵ{)7˱V IAϤրA!#6QqyGE~JP[B^%߁p~)9Vf0gֽG9ML:nZ UA*4x[J*;/aڌ^@oVc]gfv=gB]b@f&w|u$xTAmƑg,pǖ#8Aqhn\v/~y5g0eWt?v!|ܙT(?w65Paʺ2TG;q)* ;Jַ1Su1=`\=CPTɔGiF,LߕB4˄*^*N^JG]'=+BTT0z;s MvhiK5 ŧV]HoHPvrP&fhnv턌ʊS{zޕ**E @μ@ONCr q|T|e.|RIX8Dczc 楧/3. Ks_*fP 8MK2`̱H\7 tAOP$"mi*W{Q%JJuY?kA+hq6[$#)7KrzlaL]>5bX\DIFg+B O(B)-dUx0> S5 Љ Qf9g*+Jͩg(UZ O >#82ﯮUQ5Jz;Z y{ B$Jyx.=Z~v"pR1@mE[)B֙#ΧkљjCe6b ~)AHccU Y\8||~ڝ]ESL8U ޸׉{Nk@i*]4]!E|!374AU׀AL9 dאY9]ǹwLS%E@2BC+p ĹgYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e409711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef ad0f26538658706e1b7f64eb9afdc7b7cef9b936 % Posix-Lexing