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 Dl / Coinductive_Languages:threads=2elapsed=19.995cpu=35.700gc=1.212factor=1.797zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj&130;;cQ "G'3 x h~qk=!('6%Y%DUQJ> FͨIȓn5Q ~H Pd[stJWZ1ғ Ci;PAYgb_ᤔ\ _2 Vҕwi.nd/z`ӅjF5Zۧs:jUU6@ܼjXKb7llR`ɘ`7@6:cPF9΁/hz4.7[pu fnIhul?? K <֔Y:\{zQ4Ta4 )}k7goJ:IŬ[$si@3Q*ZZx/g},CB.}GΓ9fegc8ΙqKA0ǂ*M1ШT;I"[{V {ˢ#eYn9ôvñ>BѾKpM9_RT6 SE0+nr4DƤE ypukPD$pPtRraf 9OgYZ7zXZִF! io]ŗXi%6˻hyxev}b_!0~+ 1Tߕ]1]K(Ѐn]x!K2z5U5s\!lӢX6RX?{XAŮn=YuSG%t gj /oM$_ xN5gvWRqooteTp8Ew5HU9бhQ}[#08_Y"Iz-ZaI˄K{{acGU^ˠ< _\NaHuI7 QR0x*qXal " tBڷsX :0O:!FKJ]&!ݣ +>܃]qL[83o  B"Wb#>n\^}>.Dy\ֳI.[-Xu6-NÍAP5jHqɞ"% !6W%zQ$nWK~[)HoU1&qɉzrVa `"DyYtĝJBvlŽl\!yOQc- rs0$+hV)?G!Fo̟2yXͦD&Q/e*27D`Ѿ#k6ؾ]G!zx# "EFV~ST#D~n1w'҇kz(_1z,ue0Pث;@B` ?ߕYOwrUkY`Vk!ge3*Lj74Ne=)^5;XL ВoAgYZ0c9469e4651698f44e3e228873be074985fc67b7 185b62c9a47bec524007ec7a2225b16a8f4b9349 2ef530c3346e5f584e31f63f116fbb74cdb16136 32c698b051d070758ee310ea41dcd60cc41b593c 5117119a178eac69d137fb85243808da2d667eaf 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7bb2894bf6b2b1879e224f67e577c429b34466a5 89d8f62af42add378a11d94d563e9cce40bc34af 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9c580967da24d52b7f0197b4845b4404e56acc0a c9a7834754ca020e75afb9d98e309c88e75bfb0a f72b80855503bd44895e27451ed4972f4f376949 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 7 Coinductive_Languages