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   t7 dt I/ Coinductive_Languages:threads=2elapsed=17.293cpu=30.692gc=0.940factor=1.777zXZִF! b'i]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,^.}ˡZ 26>t:DSE6 ;_J'x3t*8.B}вxmQm%%>LԽӣdlؗ/f50 江} Gl%jgEpu_m0-n#*Ԇkюcb^@W^S5 )`4ޔtIRk} v\X\:sHq.r7 X +r8* R9VU!WMɖm 9+c~bn*{}FBm/)l$zC^ȍvErhiU#/MxeJr1!(w2=՚V6eXKւuLbJ]ޛ \!\EȿWb3 ʱ53tEuGx:T`D޼[2x5YPY8++{7CJϤ< 3F{ĭra\l|KYGRt>Ui<;{'gd>ARe w=aXW2Дr-1#a.YLʩX2М @Cx> r?҄^3- v;͚w Z)rVQ%l>k{*NyRB:OpIEn0= C=9#Z?9,jAWLBApty*Ѿ,1Qg#8W??r6es㴘Tud終M4Z/[vKnO:v""yM-R؊ғ@Y73 U~Y|~+HaۡehD8׿%R!Oe}WhE"fXYπ_idz㴷#qjaEOB>j GS>s]@ t)eR2ϿYLa`A6'ilCXXvUVɂ!!\&=y4>NϤIPށVɣea~/ إJ^_ksV5Kb#}[ &B0*l1+sF -B>Q\E36㍜P1W8t`6Mbg?_ VUi*|KDqQ@iZZVc^M .)F|h{7 Fkz*X館$Z[w"Nd L2!Ɇ-Yg]Q2)# a⚱gYZ2ef530c3346e5f584e31f63f116fbb74cdb16136 32c698b051d070758ee310ea41dcd60cc41b593c 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 89d8f62af42add378a11d94d563e9cce40bc34af 9c580967da24d52b7f0197b4845b4404e56acc0a a438efea6288f9f4f15f7d643bb504a34d38c343 f72b80855503bd44895e27451ed4972f4f376949c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 7 Coinductive_Languages