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 ]]D| S/ CYK:threads=2elapsed=5.072cpu=9.488gc=0.380factor=1.877zXZִF! ]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣʿPuݝPj Pok -S>3|hu0՝Gn¢mvR_H1uB8b^ơ /hZ7WY!W~}Wډ[2}C/z9)6[[41=c~'2IΙK)jJA˘ިG53j炽Rg%- D(qI0ʃj׳?(6b`oC"֞@ztdr=}%рUU 7:G/MJdsk>\JSVKQ&caɻCȧi͢fqV|wF-0_Rի+ٵ*Zdp5,+檮rπ1cA?J@c(_+_KN=ޓ7}Yӎy  ψE?ƻ>3Bc t%%>a{aT Pqq*?oK*Jͨ%LgL~^g`ZLj*sXޤ|ӍLF+fVl&bܰ4MMnXe"}"q]t)V#X%;V!2o(MhpkT iuŖLt?$:+ w߹p-[‰`TНoE?;Q׭HZ`_! 'U{sr =  CYK!NgYZ7zXZִF! ]ŗXi% ɁC mŠRohN2# KigٰFa ;EYqd8;7vSd1J:"~m<, e^*8j2נ1iT< veDzԀqy 0Dv{y@ N3(sMhdǝO0xm(,7vzXOp"Gox