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 y L ]/ FLP:threads=2elapsed=23.883cpu=40.212gc=1.256factor=1.687zXZִF! !]ŗXf1-/6vRZlh[j^iWrYWrWzN{\V#%G&_ 5(D88z۴Ҝ9{Τ|/]v"j;$g ѧN'һJņ)jSZ"%]d/$W͵ِŌYs5)+gN$պ}Z}쏂|-6SX8=x+_Tak->{ĉl8PPY$0 xjC R'GWDNAN]+qkIsy˜L,xg-9EHp1KO_sd*0OGinA]mW: ο[-">Z./6g "ޙ录 a.@Ab8XJ ~gYZ7zXZִF! zy ]ŗXi%6SwK Yye? 4,' Uyˮ1SZzͫ,|H]Rdb/A@:o+LxG<;[ߡ#{χ \ZC/+0JY)o)-,n S=aBzش BjExin,})̸Mp7Owʮ4Im@f9*?wz[~9)^b#spU=)S^d7luη_ yv `3sY8Yyho}} wxUqϦsN3VGVGD#_ȋ8J">%P>~}p-'8y%4_k,MnjGfB*4L4^*EY]jpqI.$os>JcoFh!tvWQ]bݸz̏&qxW7֮T՞b%i5N&775Yz&i%j-2xX @g L6?Ϭw?8zl+?I{q{jcZ6 T"xaVo u:;|NbĩhIL%[6 v抡,Z8|ls5lKK Xxoȳ52=g+SsTQEpDK38;J^0MD Uqh";[͊ΟQ=ycW )g)d92=N]Zk!@&8c)?叫EH)$"JGGSC'Ӳuf)y32 mA>dHdQ}zs^nTk9 :JfuȨWW-yŸz77.)On?p;#) jF a{VwFŠph>4,In^ƵG Q__fS-fpzt-!<#VϦmrX^|`"p f)9lssItNpC<.æ#1?/X˿Ԡı|ЈؐEQ)=-T"}GO s d}( Q IU|&QV@!yd{ D^lk|g  C^c֫4^jY_RKXHQn9ٗuX&_=l,B}r%]tx(gq%! و/'&j"(!!TQ=+NKpKAgEخ \)gYZ6ee0387ca7183004ada5d3545492124dd973439ce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc  FLP