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 EE87 L I/ Coinductive_Languages:threads=2elapsed=16.942cpu=30.104gc=0.904factor=1.787zXZִF! ^]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,àmQ*(M`!=պ%HRv>ӮĦ UҪ#@5ѽ"J`BKpkk(~dZE wQpI.XSi,p[1㚒MXQ?M i/xbwFwkSk07i.yy6s stZ(~8*p~18VW&_4&mˢY/5X2[^1X+u0bjhksk1$epMmZ5 s,W޺7\Qx!twP,?zs^Za{_Op#Ƕ8|J[Xfs+xt5pٲ퇶{85mh~Z푇ʁQ:AzDVܘ,45Px:#)hKZJ7[#<d WBITF3^Έ$p=²(r΀9LK.?*)6$|1!J0CNe/@,`;n1a&5gYZ7zXZִF! [o]ŗXi%LvA?omtg0E^1u `7I/cPh̾5yi| gߎk$C&X|mL`$Y݈[YW8V֭xIivUn^=RtDW"a;u"H Ah?{%c󖫲@:;N]]9FLW4~#l7;e+nay"؊$GsE #8jw(/.@!Qj8,JpxߔεWOD^ݻoH xr0|GJy^ݶBM@E/̮Pi9Km{yMmlU Zx*).2P9/3l˸]RT"K^gt#P'uˎ(I5.9A l7 y[$ ɩ_` q!_ CŌ7B2KE3r\AzKLM N ֯VsE̟ݭ.P-q~ɴjh*@ [+#W\j,O5 b}GB֝,gIl\l HE?euh.r.b%pVNۙ^[5e6jBsr PkpCɛB Sf`dգT0'ŗ9xMbvQۆ͠$zY|BxC_e,QKqWMqﳺ`*UP.}j귣*įU끽OJ/Gib.hjK=.W/mL1i #nEůMU&7Z%6ۧAu*VrO3Ets\,HICV3጗aR,\8>K-{k  p+h9葍M)UQQfDkt/6LרҹF1 -ǭr5 ~ _WnGhjzUSHuJ *셸*E:Pp2uwRl{b19)$buj$dh\ڑK] TBBO U)= a>ΤO \o