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 ooE ,$ w/ Name_Carrying_Type_Inference:threads=2elapsed=21.591cpu=38.660gc=1.624factor=1.797zXZִF! c]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& IuW~O#3era|$̭v皯k4K\,%ckeEC.{s$`Iwh<?jCKHLW0[M9 ..TV{O@uzhZC?Cw5uگv5[X੻1;m}$[+%=OAoec HH,P ^OVYK+:Jq-|:qxޝ )Ky%g OSBhNȿ6,4"­ab#S@ 5 iNhͱ_HRWK)9Ljs(Y.a!bNT~=]70آZτ:1 J;4]G%r[_1Wz l庌E.~pI踲rks/(RM*gYZ7zXZִF! sYK]ŗXi%6yK'ec<.ƶ| (bkXK3Kk!Ʈ'ZR^ba7gnFljyoKG]LUB0]fbQ|uZ&qC%-S@?aINs͏g JU Vk%\2.1778+~U;ac`8kћ.LqyEE揃 V1+F珇@ljCpeP^fAmAJۻiח anhȷt6;r|Trzw˵{oQjoA)1vaQXXݬH\˅m8;iR1/RaL% |+M%q0?f*iOȕZ~|;f9poZFvu:CTh0b厼iMyɼ#NS'Սa2HʢkJވ^.6Pgϱ$t )?'Bs<rN-eQ~Yb*(p:K8(HYYށ!/+^hӖ;bM֌ fmp`b=K;8 95dܘGCbK|.XfE*v9D܏!`K10Ma>EzHs2e?7^DP\|YZ̠zq z.C_k&bѷ1,232MPX7-nNTfvͽۑ(ȳ  Vt>ix9 uqdU05tZwCzfKѶ^۵0?[%l)+jD$0j@w:^0z~2i6U+*ܗܿ:)ͪJ#G=3L6 PaMʙGW9"U=?fq I4ogg4[s#)y o}q+"yJY.x3BDn-">* WRORHSzlssMԱ%Yц=(3^qO__fT>ec┱l.ZUWpWKq0?YMԺ# HygYZ102e91e88ea466703e1de74bca953256179affea 148b964a2c838a65820297769832f0a4b0980c80 73a60939939b91cf59ebae3ccfd3d8699fb9f9ff 8f7514f7f3c6cde1df8cca0137f6c6b563ac7ff9 9b8582db3b4568558b0d9f198972e936b8720ee6 f164fc0ffdeec85d10239d06ea0b9303feb82faef0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 E Name_Carrying_Type_Inference