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   s7 / Coinductive_Languages:threads=2elapsed=20.239cpu=35.616gc=1.208factor=1.767zXZִF! P]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'2vt y`ѳ%Tz@DLqS oi`JPeL Gs'jC8Wk@d'Tu%RRlZsUa:3xAOĦ"I 5ȷƴҍwe1Gߎn.kGt;*E.g$c%oU`bԞdE.m (?%6=oDbgUɎK/Q;G z#&}&|Ba!D(iY=[bsQ*,& edht T0k>OM\1JS :׼WFfGZ W'?9-ٴsГgVII&uaz[[[t924Y2){؈gj r8V^Ϯ^vUIzAȒbЉqXN-^GI_9P] oZ~m&242ɥʤV|^VǕ/2ak-O0R"63iB>*ЫBX2r=q|] 7(I(`AV킌1_6MU71 r;:N!c}Yn.25[e?qp:ZkEYA=B}mIwY?rGqqr(]V^]$ غLTP]?Ė %k%AN]uen"O FP:`PS.Cv9bQq=9DUfH9Q@YИT[*SEzoo)}QfuddImCv'4[b *n=JA+ZL6K +8-϶x&[zߙ53XaJ!ХW VF (]9@1МpDUV&)˼={B .l-bnyǫ>7^TqHp>F{lRVW\IJe  @yd&sczTG?[&(S*`qx}5_$ڼ6@4q̭w&{fWD`L0yD3̠珬eR8zOJ39P#m #V$>L$:H6.D L CKDdrcNuOe&u᳛^K t}S1nk>m憋юK  ~gYZ185b62c9a47bec524007ec7a2225b16a8f4b9349 228567b730aff0977dc236c9d7d51c49baf7082f 2c49f0b24514d72dada5c5dc36e207195073c17a 32c698b051d070758ee310ea41dcd60cc41b593c 5117119a178eac69d137fb85243808da2d667eaf 638a0aa03d2785fc536bcfd8b9e9bcfe91be0ba1 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7bb2894bf6b2b1879e224f67e577c429b34466a5 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9c580967da24d52b7f0197b4845b4404e56acc0a b245498a6e16d0c15509d6382ea878776fd80ccb c9a7834754ca020e75afb9d98e309c88e75bfb0a f9ad8b0e4dc237bddb1a7187abcb79226fec1f90f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 7 Coinductive_Languages