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% RSAPSS:threads=2elapsed=24.838cpu=45.436gc=1.292factor=1.837zXZִF! H]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ᩻b$k)/Ew)cʛ(rB$u xىkr?B!f.8MϨTtΘZhVWWb+/޾9e%{/ĭ3ׂ N/KE G9Arinߊw~2w@miA<+ڸV䲟DE~ GPLY7{>)z~52 9xq*̴_~|P+!HC0,W2tys+UH8>tSNNyBdiBBJ:*[2{툽Fꢊ!oxxt6v/ &/O]a\cץX5RSav< vUs>[̧X7z<4I]+>`Iy,! R +jy%)&x5&}>V6C6Of:9*-9لuO', |zQC ~6 | 4$z*Z}cT k<كt9"/=W34  c [Nf kxYG3o]/][!A.]VyW Qo`7_9$9_3ԄOL7VVQv"kP| sdKޡqknkl*"gz*UQ]d@?&5qWlQoCe0sl>Hmm$G LS 71=p8E*۟.r]jnLs`8$(cXEwfk!3xJX5qV?gsa"0şm8\xbVmˡ.*MsyMd#|۵E\V-8I>&,|i.T]܃<[[^ g.+ xk#;S xXuLq7u_Tj)fĻh c?7 aĀGR 8|CMžK)`\|vy.u?!p O$kX4(|\ej |* 7r$4Bfegm9K[vs*[ ywXkKgS -xcӳl^'TNad&Pb )ABm&N5tXSU$y|h7S6ehҡǐwW? ^^_ t'LkiCHĒ%9NUڟMjŸ笰w%{;a]s.4VwjX*UwYaX H$7>?Gis?ފ,|݂Y޴v T >6iAl~g!E뻟!I\vMɯTok!x^R` 8zDf?`O rS׃)DaQ'Z]֚q(rcxc_rN3> OԿ!#OGgbĔ7rLkx2RqԤ@]- @=jm6>k*g63ý3~ZlCuE [҂̕k+-@HcL$DEJ nq@ 0fҶgE [gYZ01bfe85db9e8e3818dfe10ccbc0c99d937ff1fc1 1feb34bd84773d3cea7fda4820d6e1939dcb5480 28af2a2862bc29708ea9527d18fc3f1020b5ddd7 46dfa43cb6f20764d1a01d2996aa51a76ed494bf 4a5fee3afd1c7d3f6312954aa68ca5e73ed9cf81 4e0bec2234688dc8c2d3d96cd7f2c1b5d5f5a4fe 58f14861781d1d9b69c9140cfca2b2ec914b44f9 66ede1d431d0b97a9ecf949112be7410a0454d64 819f5f06ac7954145a9fa92abc0f031d2ff51f50 8c46c52188350969eee9f7b51c8f59d5e2cd53d6 8c8a7f58f485ada2581ef3542d0d5b85d2f3f3e4 8f9d4b77d3a909690e3c323eb9e45a06587dba10 ba08050e1822cd4e12bf78c2f2c32f5866d2cef1 ca039ebeff80492e3c6900e2b2f61d6aea027f4f fd5ab7abcf04621d380e0e3ef5e15189f11f15eaf0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 05218989694d9035f45149cfa16d3e890ccdfc57 d61e6fad08b1a56cbb9c72f2bce57e8e26fc3dff   RSAPSS