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 [7 l< I/ Coinductive_Languages:threads=2elapsed=17.393cpu=30.064gc=0.948factor=1.737zXZִF! bo]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+ܾU?rV2oArR֜߅Б HjBvZ|ծ@ZyϭuQ\X'<'~]=|^(A',':LC*#ȟe,|ltB4/MFN0r CP_!~KqN rkwO!GdSHSQk" qsIo|*֝'9p9nL1ǚm% GU%Aퟶ]v;VY{=+']T0/-a/u^|< P1R2A]7iN0EDG˼(U;^v=Y"+Lq~u{gZ 2O&XKkC*^MEp69Q 5c\ќ!K.q$$vi+x(įm}pv2˼f{3tf/-T[x/,G>( &:.%%9Bξo1i"x=ꌗpG^է^`*va{JH &:d&yEVd c; 7 Coinductive_LanguagesD gWlM|@=|0YH;ǹԽx@Ml:?I27AGR夬2@וv;:{tDHTu>H\2BeU\<4mH?ecdUo?Kd]Nb:ATqngׄpηyž.pǢ"aK5h,ð41:K~h5;CɌ j:6-EW.>G=wK?'9\)X1okmSݎ"lSa4CM`E]}-Ous#e8U|L9:.iLb1u)8=a>܀ lƎx$UnI-j3-~),s+:PHH{La\s6U}RA(PM״zR 53eJvmqI!=⸮ QV쩑p2FS/1CSG7ݾA\d;Jr{@_Dڞ4^y!")E =:}:]pT8tlIs[9u9IW"sUV uUyX]~,|ˆ;M\ɜplJgIr̦"j ܶ ]t;7LLܫo,>hIymBt F˥ L\ !׷*o43ݭ=իf1`fSFE R@-Z%e͝;t0Ψ㮼#[R5Qy6Y"icXJTel&*񖜘#ʿrI }zf7VؚBV_PqW {դ0g¤3YPYEE٦G@4ۂM7_vC,j=Un8eJ:{$}B5<[OolxxGP #[S4|ZE|Q(5k٨R[N9FADm1K'pp PP,ӟ)f4喊 $ժL$3VB3I:ZJ'7Ƅf}1>+(hu*"ɲ^lKTtǃ\)5T9 !-BuoG"*8 ԛƨ‘m^^n7/܀&# Ҵ~^\n|*瑌ųMoYbLGsv#fˌTݖWbCwxw̦JAPr8̨:ȑ:W]sAZZ4F̮ۿߚյ_0דER(q sg-77lksVb]gӇކ7i𗿲.h#J*)Yv4_s!~8pYiB]eP Q4flH])[}Q8rz)w*,kR<0V[ 5r [_*{?