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 l< / Coinductive_Languages:threads=2elapsed=19.664cpu=35.268gc=1.376factor=1.797zXZִF! g]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj& V9DΡ~% $! (wb=ʨR 1@nr|O:PZ`9TI0s?iuE=EiqQf֢V bjzqHLpa\j/`اw>?eC-0Rg,S9,6a֎~T6GJ.4IQѤ85H|&VvJw }u[4 ZT XF] I]+k^cW+ML]ct΃y䵓iͺ}oۀ << (4qnŅ,۹@ďիl@u(}9:F$ni$[җ^.Es#ț;9׃WBQs9:9AGL~)SMG-oz71!g J?NǡD\`sy0s=a`5^Z)ݒRgs4f;C|W(4CLJ$1t LdaV Ufθ5qgI0Holγ|0~9+j4\Eh(];|^jK!i3ens`fVe]ICA\SФP؇y+yw#{9B?C'vV<+NBS8gYZ7zXZִF! gF]ŗXi%6gL9!^l!:F=h6ri*0ngP[P[|F+s< o eMt}8D3ExO+%gE[sBo%X]Ipg `$}Ҡ4 _eu܋؊P8:fVs*bItHJqN˲՘J`p/ S';ORWG{=5rf l{L6aUf$OT,ʔ}~7)ME(!s0BDx?G+"ʍIP!Xݝ\B1KNtVI-J{O,{^J>Q-""Lsĭ3Z973›d#-^oW7Y)IVhQ?fGU_,UG "is{j|| E, ZnMƀY)y6F!ՄXOyOLɜ&DIJn -Bb7hiJi|cqnq_r?zS,}ߥ nw #!vh!'#MGyKWnd]֐ N &B`+-)ًԆC8z"\>AB'Hezp2+8ILz/jO2nAT9 ܱ/ybh_d8M4 _`Y1 I@%p%EqhKF40ڜrFTa!$!Iy~ޛ쏊ULGRi<OBж5:#PO^*ut$2sPCBɞ䥁j_E/ R,czm%mǽDؔ E4jQYqhG} 2ApLOe2 cihfn!q #&A \1MU*quATe8Lt W=OђY|#U8e6wAht+3UH "K)Ԡ= 67/vՍ_xÁ5~)[hVXP;x7=˳+ S^`ٖM h(?urjPŞ!ˏOpMn 'Jaҩ]]˜Uk'E  kAgYZ0c9469e4651698f44e3e228873be074985fc67b7 185b62c9a47bec524007ec7a2225b16a8f4b9349 2ef530c3346e5f584e31f63f116fbb74cdb16136 32c698b051d070758ee310ea41dcd60cc41b593c 5117119a178eac69d137fb85243808da2d667eaf 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7bb2894bf6b2b1879e224f67e577c429b34466a5 89d8f62af42add378a11d94d563e9cce40bc34af 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9c580967da24d52b7f0197b4845b4404e56acc0a c9a7834754ca020e75afb9d98e309c88e75bfb0a f72b80855503bd44895e27451ed4972f4f376949 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb 7 Coinductive_Languages