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 **S3 4< ! Functional-Automata:threads=2elapsed=19.188cpu=26.556gc=1.236factor=1.387zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*W$)f=.sZp}G|)4`L}rN6ϕT38!mNk #\H&uzOf G2$xaF =q/M86/'q( YlӄUج9؆[_̓ֆWة !"+MRI0c]?G ^Ρ\ 23·6fUk35{dHy)dfӢ435GiWO8eM<( dZФqV'NCڑecm:5->+̔t!\~V]?fϩ:~p=$$UJ ڑQw&c%geS4_J蔂NNvZ!LLgV܊u^?V}#~CmG~ligYZ7zXZִF! bU]ŗXi%ut Gә4ʼn!Qs9{i.]@  3 Zxgisp!jԎv+*61!)DovG P=5Rc)SG!,> o ̒jvWjp󃅂Mf#flHFqkR`ތ*DjW\KiNxfeh#YB@śD~~W,4 M.YF0O, HOereZr_5ݹo]U֠I˞^<L|ăYZ]}+i$F6S'?鸔$t!WJo_9ӁlQK=nuۇ#E8y][^b#Tż壳4* yG6.*9fekH#*P@1t>(ыfH{V1XHGw L016b \IZxQ*Y syNP=ԼF׳i\18$\hb .i[#͑d::>C0>P'Ovi Hxv[*>k+V[:z'vO[o|f"g#-D[a&+W$R?j k3S xv}A> uz3ƣڄ _oivGLh'!JyHo!bbΫ6!zAUc g{`5CVF-1W)'Ys5X(G .VKpVSϩtNl!b.}0(H3 rg~PlrI ;C0v^iqGd0*k 9U=#|2"ɵWa׸xxΗ2 ݩVG~EmOÎxz-ޣ%z"9DIK+s_Dg[ɓ:uJ4l18Ҭĭh4ї7,Z'L:$l4/6q\;׹6ma9Է}턻X'Vey~%l7XwI |d (+\Cd bȾ7L1E#706=VDafQ %5{xoxt bݬi Cd6ǃBԻ,iK]`3KPbfwޚpIY ]qm 2y]J߹`ޟXZ4JW  J,gYZ032e278e920e748cf57a1020d792b439fb524244 15657b10c3cfdb6731b588ee9be619849fa04b92 2d3d2f28a6b4bc4fb7ec5c28bc921d540a84ac25 3d085b2f15013ab9cdd8983b82002e5b7e45d759 42d1ed135cfe63bc5d1e468473d48d107ea58611 565bca3a4072752c3394d300bd4b40ef3c887e35 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 82d46fbcc95345e2065e37e9d924557aa3ff1408 83ec2123cbf6c08f5043b040b0a083203eda6eba 861b619b7a35db58e43bbb862b380e2be327b8c0 905b1d4788b326cc646d4cd82aaa39b022b158d7 9478f098439f08c28b947111f6139adcabb6262a a1c7d25bf011eeec05ed314c00a6939226cbc308 a51b93af309bdf505ec482d1daef6c910a7348c0 a6d6e5700086771c8a23a96b29f6f4d180f0a3c1 c3ff0da789f71df5d545513ce6af382a66710c16 d95b1d4633a6e7b42b7a29f5e99a8718f776d04d e88660c8990ad2590c38014612d01d7a987fb036 f6af41c4b6119bddd7274fa215be7b0a29ba432e735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 3 Functional-Automata