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 tt} L w/ Trie:threads=2elapsed=22.502cpu=27.936gc=1.188factor=1.247zXZִF! +]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,{k‘^\͝R`cUg}J!7wWԘpy_h1v}Lt9wKalMy{tGSːxP>/p_Y+l~b 3. >`2L7)n ֻ{g3/pO<x%%a< Se^Js#.c􉏥b. pmYl :lU|@Wơk(:5f PpB<^YŖ,;ǦiՆ[ydqPت]x(3rtE'C!Ʉ x 녭bj(nl*ɼ6p5I=^F˄H+TB..oVdC8@ZftT_zOb. W(QQϐ`K&jTq%cHEmG_Noh^ CQft,;7 Py##iJ̖!mXz=r~vbF =EMF} )2e}NYmxl#hsP/b\@r'W]!N)@&+Fϴa"d&pJ\+ nؔb<2mEgj! |Ute:"?>i;qZ/£G_p,h6H. e׬y{n"nj ~z~FK^ LJ>  Trie& h(ĕ=}= ;hڐ7sD0]ܲ օ7D[NNZʴGsdX38 \Ru Š#E@K d[MIDlO(3fscI|[ %xajnGʨt$tsUPw.Ѽ +\ ;/iգSx?T1>@Bo~j`,$G^@7h*4|RVO+#gYZ7zXZִF! s#C]ŗXi%B׆KNɜͻ5agrr:9G')QM:Y.K̰K>y^sY^j-2 Gn16}/ 2dM 3XσU ?QC3cܿLJ͗2k'ЗCG5B`yќ7xo.E~aNc_W0݂ZAcfwk;'ypwfR~_:l͑$q̣S1Onk:$ *$1u6)HRҏNv^"P1LcIMɓ2}OU#0 BsJ uEJ.кI `gCpH c) b_.wMa@2&a6Y`*dQ]uJ1.MQBŽK!yU>XwZ讳1BV86(;/c;#ؽ&sGJ[lE"LK E&`> B5V`:72;| rFG}lh8S/i I`_I$.*vs. Ջ̌ )G0snuJ}1GE@"l3o<>>UgcL=c@*n,~tgJbtWBaoXy<~m/sby0)L=PfCw{jMJ.א9H[ć5W@KA(ܭC(ZepM{q۵>|(hn$ůbHx,m@kk~B19 ĥ~2 B[x^Ran(3ib8oZA׏ k5ګm!}BbYLoxzj_ºW`f'M*׺vÓVS*F9 zJ*6h${y֛s؊l=ɠw̄S0kfOSb.cOeI@`pE];sX\EwW+$^`AE -Ztǐ4G0 V:5kWz,/5gZ z  8x#LlWFSXS(Gk< k!X0jDw {P_,m[*l"42T%+}\d8vh'Wctx qgYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 ad3e0430353cf9dd719486ae796d190d5e13f04d bb248e78745608e8bfa64c29f326852971dc57cf e1421349f9a93acdbf9c9af1da3fa60c2b035693 e6aa67045fb0ae0372e3ac731b90b4144bb0b9a0d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295