SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 =' L4L ]S Stream-Fusion:threads=2elapsed=10.251cpu=13.044gc=0.388factor=1.277zXZִF! s]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)3OV-dG y8z O:ȥlz"YC4ÆF J"r.iyvM @ rׂʼnJRw㔡L.ɗ(L1DBְ^#ǒĖݡn`o͊&I BϯWTLyGgQY`J289O&rgYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v!:m^-始nr[2ٴۨ<3Yyr>Y3ݼ T8j4tX._Ǧ jP~-M7V޷u4G] Ǚ'M]R!m ˾ڦ= Nh쉨_y7NS%.VզswRPN[Vw w 6̏*cca%QEHڇcB}'7W Gg5FCLkGj,IBuI5eLX,Q\t ]  }g!ڇ= jw R=o'HGܤݜǐ}Wlųlv$:"t4 BȌ!>v/O?j?K(Ϝj7tQC̄c r=0A)I*XtCpHmVU}7U2 B6\PL$%YW: ^~714ZJքTGLyl5-oqxkNGQ;k7߾ޡ0r5Ҹc),/$M~/|qD6@+qorO=HODPݤYhmF[T.`Kn y4mwpۖ L?Z[MH  $Wrzj$o]1s9HP0 `jΊE瀺ʒI QikH`%5%[zPS#tSf,AV-}B-KZX?/i I:m&la%KW$z1ӰݧFBm0(O4?0Ft~gYZ63047599adebc0d73d53390bae2c08c041510e27e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 02662119c424e3030c6017a821a6c2b6c050602b ' Stream-Fusion