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 c3 d, ! Functional-Automata:threads=2elapsed=20.594cpu=27.340gc=1.380factor=1.337zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'H)Х|f1j_Wގ[,n ?x"7wE6 r p\@6'iyTFs/9{ΰy"Q4R~ݏ<+VrmK78ٶϽnpg]ufA3ISGt7j0LIIVDB(Lxo Q`)t7 ,'S?:k4reb6Ah韦U]m&D+UOLВrL̂up;ΝC;5ި!Pc戁jT?+;r* uZ7%oO,Wa1Y Ѯ Un=.( ؘN8ĕ~: n3"BsbLDRmn R: nB2gYZ7zXZִF! ij]ŗXi%6s[J}䄴h>M6eԮ B 0 C0= K_ =rUSd Y8?_a} +APRLɮ(̳˓ƴ3?[%Uh"_EfQ2e3Ŗ"vh5ʰ/9] Wڠ l\=2%@EYx:T}*)}q`U+!l/-3^9h-hnC.<̭\c3'>˩kUiCֲϘf2A $ lݔV0埤oÆW@V15oS!Kc_FϊT!QC ' DU܌t[_+@E-̅{);禯}G$MJk7ލj(26'0mN܀tR^*Pw9ewz,}N8qA[)ܢ-GNa@%y2*.Yo.nHnu/;M{ t,W<ч=@0k$ڠ Fa|bgzO0 [7NlOs:4ډ-ww4j"g$+Jpz5Ӌ,bUHa?0'6.h2" Iv\k#ZgRts$wqoCwMęId`}_PφE$&A(a0r\ !h>^rz\kl]f죷MeCYe0ccv5Ֆ@^<  6QgYZ032e278e920e748cf57a1020d792b439fb524244 15657b10c3cfdb6731b588ee9be619849fa04b92 2d3d2f28a6b4bc4fb7ec5c28bc921d540a84ac25 3d085b2f15013ab9cdd8983b82002e5b7e45d759 42d1ed135cfe63bc5d1e468473d48d107ea58611 565bca3a4072752c3394d300bd4b40ef3c887e35 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 82d46fbcc95345e2065e37e9d924557aa3ff1408 83ec2123cbf6c08f5043b040b0a083203eda6eba 861b619b7a35db58e43bbb862b380e2be327b8c0 905b1d4788b326cc646d4cd82aaa39b022b158d7 9478f098439f08c28b947111f6139adcabb6262a a1c7d25bf011eeec05ed314c00a6939226cbc308 a51b93af309bdf505ec482d1daef6c910a7348c0 a6d6e5700086771c8a23a96b29f6f4d180f0a3c1 c3ff0da789f71df5d545513ce6af382a66710c16 d95b1d4633a6e7b42b7a29f5e99a8718f776d04d e88660c8990ad2590c38014612d01d7a987fb036 f6af41c4b6119bddd7274fa215be7b0a29ba432eb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 3 Functional-Automata