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 (7 Tl I/ Coinductive_Languages:threads=2elapsed=17.143cpu=30.596gc=0.948factor=1.787zXZִF! c]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+Œ6 '1E*ÛF\U}4v-a.k)>Y N %LX[NȯZ$84ew,q`5Czb^鼧=G[KޮN7Y£{t1q{w$h)eSD9=e]A]y(g|5夋үlO ֟ kU} {ۅy*T.FQl tθOê8(N`Éx&8k[\4& vY&?s \3ʩoW|Rm?%7"I-r5Hmq|V2?1V?BZl_EGAOeW.2ޙߒ䩽`m2؂U=$X02^^ zW&RO1!x&>VluCK dwΣO1Aץv ,G!Ki=d[i/?2wu~6C5OIO9\0=V~(/Zm%T{Jؕl2OtQ+=@#,AyZ.j zm?0Ks^{Z)>]G*_%xi@+@" Oo(Y9V:_jHUb>AWb9pާQ՚ O|FVRۏ5\%brvT<)&PAnJ4 JToif"U1.U<=cl`OkgA] %:Tq[¡w-(VMc YND9N@6'$3{c\F " ςO,3񈚕i, S)/WC/kDJ$e緺L4߿_kvq {Y^b9I yNl즙yNXI7fVu >qkC5.NFJ{mc]A:=yIԒJ%{Odzؤ,-ߦcZ: |qж.1)O3&_6X}XV01{? mPnzo߲莩Ao Ds ^"JE?[q{=:|r.H?ΚVB,dqʀ(+Eԝ]j;W`Tb&&k&[ O{C \1jj.{|c֦ӀnTӵ/՞:^*j8e- : $uK&?X] *g'=gBG<;Qk+ A<ץ_M@8 Le"AN (\kJa2,t5GHchA|m:BDt)hh_BԴXIa _6Agrhd2DYǁY]댳|n۟˦)CZy,Æ@oe1e] .ޔgYZ2ef530c3346e5f584e31f63f116fbb74cdb16136 32c698b051d070758ee310ea41dcd60cc41b593c 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 89d8f62af42add378a11d94d563e9cce40bc34af 9c580967da24d52b7f0197b4845b4404e56acc0a a438efea6288f9f4f15f7d643bb504a34d38c343 f72b80855503bd44895e27451ed4972f4f3769499711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 7 Coinductive_Languages