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 j' \ ] Myhill-Nerode:threads=2elapsed=42.673cpu=63.548gc=2.480factor=1.497zXZִF! ,]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'_Aj;DqᅟڈmV"߇vזzIگJCg&WX8J; |̩]ۛt&1Z sqV "*}*`TnG-cyTRntrN^|{Z+)ֈ4(hbK+y̳$Ԩ~Sk.`#FB+^# S#Azs ,&j,o‡Ap7U쳈X0R42,H_@^׳fcӀdkq~@lcs$8&C,C2|clnг^R1gr⦠2Hy{DBb&:LhgYZ7zXZִF! ! ]ŗXi%6AtzXjOPTcY ]Pva¤{p?>MQ{/-f@ UE>qP&heuh@@pcJԢ+4d?7AZ<{uygJig)vg^EF0{nIȼT=9"Pf$V)h(ϯ0Y8 "0{ee P JIPH.C~3%]B4WSILlq:"ּ/RH2VYת4ë*O>nʁ+, lWjP8nWJ+Jh;˻6&taBj?G 8KfBxh=&O98çbSTݎWdHhpg8kIk\ ~ەw代99(W0DDS@=X4GZ `w˰vg~uqZk.^s9.'(8c_3|wQ$ܥɄW)Z%vB8Ɛ8 d/},)1,˔id܍U)[bš~W#&C5F?O,&Swcyd/螴y*u+DzF|VYPgzė44ELyPv-Q|_ R Xx]S$~B(!}¡IE.u0ݗBg"EYPdxh*h9eh_N!Zİ<֌Uoc{M1szɰŀvY_ܶQu.F'Gt|?fw4碎<5޸yTHz{ 3Pqz+>-҉ J[RNiRn&81k}lk݌u/.R;y0 z@1-Vy 7S`CiL;#?1Y 1 Zߦ6pY.-WĊVq /Z~ Q5 #4Җ tsOq.u/5b>YI ոIr@ӓ%ӏFqjLֶl8a`^-,;g~b!EŠn$E:S(~:KGq\QsbAXpPEDGRO*zR߻!aGvKpN i13C;Q1%ST3lSbz!B[ }X0_4 y@nE[PΧiSDE'xƄYE({g~.JE{&ᧁ!9f[T$]2W~1~r[VXg+欤Lj6'6sT+Y(nu-Z%jLȗth;OgP1< CM1W]/=l ˇ]S91Ƌh2[ [忊ly!ռTpI04N# )cξ!c]Ahte\H$6;4z,H@sW Q7:?ܻNZ+YKi/# 8 W6 Mt+PW¢sSk-b3qi3@) %9jYr\є㕶RT9?+׋/\PQyhO٘3UV.Mn@?a)#A Gla:0,ZMuZ 71&O ̥0I$ !t~W (@Wqe7(U˲,"2)N YF7=-Vkjn>#0bv~U*qZm5i{=JN8'l5z7 D4aQ7>;덗β1Q#=J9ZdWzjLy6aRM>6bUʴ,J.&b_djе.ѕ?ƱgYZf47eaf74237b533002153d9663040da6abbd4366e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 ' Myhill-Nerode