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 T< I/ Coinductive_Languages:threads=2elapsed=17.059cpu=30.424gc=0.852factor=1.787zXZִF! c]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*_-@G_y #v/jʽ<5)-A}"1#B;qoWnQ>:6ɤdZy Dz-νTC_SQ;]m؇K~O{#rMwA-GdV[;Qzv)ϞBx/5Qw{Rc@ML훸w+;8U[<ϟÌolTIqfii~D .K$j@)>̶}j G|Gc v ]TnN)dߧ&tPe~< =9@WΎܩnNR|<,pW^"&8f`3b'L~͗=WJQ(GlO`@qok"os}$Ѝ\ L= rKЀr'(Ehv9G| 9p9 Mj!C<$B9T0wEjDx^ԝĺ@RVQ:7x`oM`E'H4/Ws"_{m&/uRX*Ed<,`V)2#yhܖA] K(U[B-IZc>6LNpGEnս<⺹Ni'(Kz$[)K53oUxJʈ> FBC[d:|9eɓOp 0(>6b6\!֮ [q&7E (E07>7)L#x)tP+4N%k{.msInYW,%1* Z,R~ôF82MdΈ0"WcH-d>|)U14kgYZ7zXZִF! [P]ŗXi%qKN*'`Ҝ3O;($eJKړ4 [$ΩCS:'bC]CFVL|^|g_r/ތaV}G DYHOdG(m 2q@5B Mo*l.=+5S+xP[ضRmnė3:յOh d k/[VMq(*Q"BwC\iyf΂Zqo>ϴLJ+dp7BڞQ렗NQ>kZx1_䁻r xpĤ|t1)¡.A Au%$-o3YEez|`CnH \knrJ2DH%L~s"yR*UVZTx1Д] ;=iM(]jsxz-#*uܥ8|+f QƐ{jT[SV'?s׸cq'vs@I1j35*0xi!sP)a'|LPi i?b^+QO53&­!T [ELMd ts Uыvr:ׂVj/iXՂv{! ="|OW1@atR I7DNNׇ}$ @\\[Єxγ<δno3D 5>Z6{\dS>ڀSz$QSWLr΋^}Jҋ)UP{=f9Yx+RA>ww`4vIUOۆO*3MnQ]`ؕЪAX:ZW*bT½'ZO!M10MK!\ٽuق⋁XR@|Fr$:ysl(ֈ u܁ qrRE2+:Ye.  Bmn_?^_tlFXJia[+KI'GUT6mZ؀9"E^ˮpg9g5&zS[}t7RQeԡHdyB^I'pTC\Sh {O7ӓ3/IDml;soT ѶSgYZ2ef530c3346e5f584e31f63f116fbb74cdb16136 32c698b051d070758ee310ea41dcd60cc41b593c 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 89d8f62af42add378a11d94d563e9cce40bc34af 9c580967da24d52b7f0197b4845b4404e56acc0a a438efea6288f9f4f15f7d643bb504a34d38c343 f72b80855503bd44895e27451ed4972f4f376949c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 7 Coinductive_Languages