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 e7 \L ]/ Coinductive_Languages:threads=2elapsed=19.956cpu=35.348gc=1.332factor=1.777zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj&ʌO$ZwKlsGNoCq6[!GSzPّj9kü?#c(wRtb!M?ZRI𫔰σQ 2oK= 0]ʭdR(1)Pvc-q6ɍ><]DY[Ԥ`v8HOQwcWqXъ73W½ PI8k5<."Bvu2OдVaMk\Vs`4m YupM=jx0jy`'"aLT,&^%xtD2رqٶs@fl\4́+闿P ՃԆQͿп/$U 0'#PuTWV6qLF⎞,U ~MюL!vj\jEH,vfz!4-<t= 8>t5u ԥOh\ qw"_f-7vngYZ7zXZִF! d]ŗXi%6-=G+B{'4_aD7~vyuSF~.î{OVBD}[pZE}ήwۭ(=Hnyov=c܅ke [ ]U[q3O+)̅풍sW?%`CGa$|Is&|RQ/t`\\[SXzmBذ8od({` tźza۾vcTT1w|aZSeHZކ}BM0, 1B:×:Y I"p ځk,^1eyhFAN؁P;_'-*;+}i.)X̾#J$?#"eaJp'sLT \;fI 0DC.HIɚa pؘe5{_A?' >OmI5tRF ?eAi.!2-ݙ./ TbcK@)`O:Iǖ l,Ih7LO:+٥ {G /}F=Z: |jIpxsJg:ͽx$bO9uկP{6D4gbMY'7ѥMW!#L'ܙȓ4zqLW+/E +7I/ޡ1"}Qѓ 6oq4j%l% YgL1>oo0[opP嘏 rtnTUzDOV uePr1#j lEGߤI- xпlGRҀM51tb-kjµ& OBV'"_ *!cFz|DUtʠ~4&$9w)>KEo.U,{Q_ot.7{k h3LsX$ DR!DxG'DR _Xtx9ó8v* 1rU?^?kb=x@CϯR!Zd"{5Tq˂R՝l чi#KiO*V2Lѡ8`ȇmP{>,Io{ʼBT2*@XEԭ9jK+J ؋1,F䖗uX ?gYZb0d15de2c17a81130f55f1d8cb2cb6f5f3e626a60a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 7 Coinductive_Languages