SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info W7 |$ I/ Coinductive_Languages:threads=2elapsed=16.972cpu=29.484gc=0.844factor=1.747zXZִF! []ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*sOG8aEB|ms¦ q4'@K؆-41ڼ φm6/\,Ap܋Y8&PyfK1ZاCggL/wqc:tHفBH\/JN/KJ\|'g0+IQBJ(SИOߺ ӛp7j'>=dӍU-uog*_=V@y%ÕjA0JT{.$ F~BmFɘKV\sYmyWvp8}P8Z&5?BCsϦĨ_2 pO4~i Ua裳D5g0w|#cs!&u[#|Sެ`EVuxӵ 7 Coinductive_LanguagesPNQN* SpfTjѢo7=aH{߱8uǣh#$xy jr09i⋧2R@_@*sDmMA=}ϖBBO'"G5uzIWK{('-r'A6TS"eGiVqU:Q@[x&/}vXBQ5@= B~ ]zf=.]`K HzzϪKee("UUP= "aY&9USUut*} <WIm?X?Zْ]I[L=GUBh>8mw<%yEV:C4 o$"j.TEfg|y2{FOB%JCFYY)[gY!>3TF/+k|XSyT?6u摺L9<TDn^}-0e TRb0֞X@'r˃P /}Wx%IW^\C_,1HŸ\xbTZ &zn˻|/H #c O˲6|d#uOb`wJ<4Z q=5Ut%>ͿQIz2Wz#8z 1BSEۧBij^3C0|c'3s}(ljW1qSR9irTԾI!?r)Rr>y xi(;z}&ɳL"?/(2aP<G)WgYZ7zXZִF! [s ]ŗXi%HT1zXPeی9t; H]ůgMQ'2_驰nx]):G>j&eoZ#$+z(Y;kLpytNi,‘ r]M.?NI,;O:M"(卄TřUc8 Q-.\VN9c*$#K8EP0uEȊlp ",Ii`*J^7ddAOrMg9K $1hvOi]0ěH`(13i 7pFLwHtCF_Bx"b:0?>oMg8_51eytL-ǎ `P6exZ\*1 5HH~2)[9Ϲnmx Bb܎\#UrӉ,+u7j?KyAL6d=X{w^VaaF֊}Sc,< ZTȱ?DmP #5nҒ2c=(DNO4AJ)wd%VܘÆb.:f@ zbق5˦'6X;/ݡsXY$DƟuQN??mw21;D"f,7܌3cBE_&&0_hu+L {+7;d5rVήve:_.sX"X}SCeV-=<$D8g h@+j4AXڽM#IUKږ7QE+g$!4)1/syk]i롡;|]vOB /E˜mzٌp%RѶL0^H{K~[ |\&?49qQ#/~[3^ JMͤb3?MZlOc77 -ՑI'B¸y1BſfUK&P.;ҬȩwSi[/}1wlL%>PkB(KZ#TH(2yiggQ$_ubNl<{[adz x6mj u ErEb|ў+,IW'Pv٤QAx? \!A>G(osZjzJky϶/&{ 扳ҵ 9{рS  lgYZ32c698b051d070758ee310ea41dcd60cc41b593c 90934926311f1704b675cf6475aff3f04ea39e46 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a438efea6288f9f4f15f7d643bb504a34d38c343 a66485ae7a650fcc8fb19b37468f99c32e2b603b a9638f140c8eb39cae66b73ac4a179a7fc3dc9a2 e6106d99a844b26f52fc9cfcdf46f542e7bb41f38c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07