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   \<, ] ZF-UNITY:threads=2elapsed=14.995cpu=27.616gc=0.964factor=1.847zXZִF! Ve]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb*peӱòZ `ƔszYe C'9amh[J쌄XZ6qs5v\^bHPr,eOjPXpRk6a?6. 􄳵[42 UJަfp08~θlCZzC5&1m8aJ=7D`JKiilIʏs_$g<˴K5ͦUފN8LM2:cgךuTEpNQrK-ww!$gH6b(1/&v<.AF>W2V4=<T VA9=#J*o#z5 ƂH3ePYmB8*V҆.Oŕ:f(Z5./8G H[=f AsM-FN*aeMn%h]%bIE\.ṅ q'QysfPL `Kސ9ɩD ;Y (iߌ%:fRj Z"}!,2zLLL׳&LlX {H̑'< ]]c&6Y'Yh^l{wFP[d+- 05bpYKg14}/&/F0Z x8RZ}jq]m;XT?i~ԫPW9j[Ip6>&斍!}"S I8vL$wC:;~D|'lUQy 0ᦼaE+&xW텒*KF-E Q[ʚj Pø]@jܫ~JYy`{q/ Q;|u  dR mvc\;?#+z4q>X>Inr VÐ uףx˲qUBH0ՒUwsG}tk@ \$+ 7fgYZf1f21a8d76d45facf37bd90a8f790af7d863bf48f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 9da86041fe15e5ef579ab3f36bd7883ad17342af ac552cbfe0fc1f59f639f55d12b52b31a57f73b6   ZF-UNITY