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 / Tl ww Monomorphic_Monad:threads=2elapsed=21.521cpu=33.480gc=2.020factor=1.567zXZִF! 9]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wdِ)漿lcYM_TVO 9{۸DTp.)l:وY!\pWo<[I4ZBONxM2{B:ޔR!<ȃ4ʯ R Ɲ~#j#1%$'0k?%YÛa Ekwܤ~}im`("`S#_3䋿<ߞ?K&șU֙LMYȧOcS\t6/aKN@)@fU BܪК_w/FI4 aygYZ7zXZִF! p]ŗXi%6$t9SR- JST-DN&?b*UT%0A$<ɐ&veqC-0s;iWZui<{._B󲿀BqD)|Hw;&|ihnYdO ڃ]cM OeîL#Vh_xlޢS75J4O I[7`{ǡlY{2NA@|x&7-S%'imp>Gbk܁#GMfIhIiojY Buao{oCg;Ef aCKBBQ*q0cN^}씙XhG狹U3:_nHjw.D;tfU+ƔOpq,igY8!=4Eq7?Lq51 Pej:z߻*da *-5-eӀB>n~*t1GX#ИJ::eo?&EGQWa bRL(9+D )?~5ִ־IM.|*GĂo3{:΍b?GVf7kl6?Y37d ACު7%R!8k۴ete׮<\n 2z=EАT/ʾ)AxkO S!<tWԪ隸8N9(MgB*:I|Vc&_ -\hSn~Z#af >uS/3% rܓWZm&Frvk,(B̑g)<*BEfœH(+g@dk&-cN~\ /00V .i*5_e7v4DeO^Z^LFK̅BK('g ЕwpHJt&cګ_CMl$n,_u'[+c4ϗ8N(.>ء縫: \D&Xxl" v@n#92Ħ\wMT16f([޳5B&̏51m@>n(vIf!oJ`:fcQY" xu?wywDHzX2[!o߃0C/AKYZ}ec,6