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 g3 ! Functional-Automata:threads=2elapsed=20.487cpu=27.300gc=1.136factor=1.337zXZִF! &]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++iaz' &M@[%j/oڃ'1! @Khȍ~¿u<[#҃ TmP3)1* Bi]_AJq UbYQ' >puMp@p~$tDO53lx#3v]#03W4uf)X˶;%]Ή>kWZ)(luh֐1&?2\J<&?U@=4MUy(9Oq%YIH*oz}9Z cQ~mO@B3 L BkƥYcH&\S}Pc7VYqͮ/g9 %J%^nYI)+@}A`xT$|k~ &PѥTc)23?>X SbEBSC:oβsj;({xyi !XdCmlf៕&1iBؕ IVdFY.6#z[Xzwk<]# e(o<&HN蹹\:uoa \FpO T hxo1UODG'xZdrOza&'j,o܉|0pn#;ڭدIAץplC!kk3 mg/4k 4o[St2X#tB)J͈E>j- (/4jHv;,߄!d9k=73+iЗKsUef>$!G#T2y$N5GL?7!ȸ)ڇǏz#= &guꎿzXpiK:9`z^Ƈn^QJ$Υi O:t X79e-Y%43dЋ,~mU?Icg 29ɤE%sY KI2?zLB*_^Hh?Z$)Z,/HU $eFy]M~ qhigYZ032e278e920e748cf57a1020d792b439fb524244 15657b10c3cfdb6731b588ee9be619849fa04b92 2d3d2f28a6b4bc4fb7ec5c28bc921d540a84ac25 3d085b2f15013ab9cdd8983b82002e5b7e45d759 42d1ed135cfe63bc5d1e468473d48d107ea58611 565bca3a4072752c3394d300bd4b40ef3c887e35 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 82d46fbcc95345e2065e37e9d924557aa3ff1408 83ec2123cbf6c08f5043b040b0a083203eda6eba 861b619b7a35db58e43bbb862b380e2be327b8c0 905b1d4788b326cc646d4cd82aaa39b022b158d7 9478f098439f08c28b947111f6139adcabb6262a a1c7d25bf011eeec05ed314c00a6939226cbc308 a51b93af309bdf505ec482d1daef6c910a7348c0 a6d6e5700086771c8a23a96b29f6f4d180f0a3c1 c3ff0da789f71df5d545513ce6af382a66710c16 d95b1d4633a6e7b42b7a29f5e99a8718f776d04d e88660c8990ad2590c38014612d01d7a987fb036 f6af41c4b6119bddd7274fa215be7b0a29ba432e0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 3 Functional-Automata