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  Y Y$ l ] ZF-UNITY:threads=6elapsed=5.142cpu=25.172gc=0.860factor=4.907zXZִF! M;]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄē>ai~ x2)&x! dllkk`,Zn-0hi`'^Qv&oT\-> _&F**M1: =e?/]nE'ȇ|/dQ7Z:r <Ҵ3ȇ/,ɕX;e{".ЋTcqk ?.rLđʵ1cENR[]ȌBhb&iB;t 3N0e'UVa(m7U35P6=oALF൤PcOħu}xm5OsShWRKi:`5F0W~fNR\_#zVhzd/Q^!o2~E`U#Y<q4\K;`{̷c '1}GLZ8u)g&/q1<=Q׻nl YJZ,pToRIĹgYZ7zXZִF! ]ŗXi%6*`2„z``C܄zd cBO#䰫9QJc4}n 9 <4.d\B8\v5%QO{.MI.c֞~CK㲭{ڏPCrgWchNRś&knF8zoG v7#4 1[ S#1Pjs85jZ;ngp@lA^u 2 `Iq1J:5@S|::Y\-l^2JƱ&KT-q鋏5&@!_?+|;9k ld̩  Z%qhfy8m5;%~]5DZO7B}T089Z\JQuAo dO(P)xL>-(hXK>GWj2N-'["咪Y>3ݞw,5edYuc a-S?#i҂%NCy_3ֶˆ/eZup HT|Ζ蹊YvG3M0CĘ|R¤\XH>(5^"Lތ/c!OQp=ZVf!0&OTPG3%F/gYZ2a2f37c1e86f5e81fa8a6c3347de95f26196124780ccdbdf883f78417e58a6fe9077611957b4c9ec 630f2c695d77d935436c331e146e84beb1206b4f b1f4390580c1f55e784a54e7307fbe4af04dfc71   ZF-UNITY