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 ~~ Dd ]/]HOLCF:threads=6elapsed=13.193cpu=37.736gc=2.160factor=2.867zXZִF!  ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBa0-J 0b.{JѤ#5T9[s[#pNGF,%*FlMwc:a@ o.>H,]zS]wKRY!ʵ*i+|Jx׸؏(9gQ'/GL!{UVF$M]1:#SSNZ{<ާ!\Q!W\,F\@l=}@ҠlU%)şXm`@hnJk/ Ξ."? (p'bw<Ն=/r+ O(-5t19\+/kQڋScf (qsSn _X"U p~AܛQWw YJ"mkOj]td h-m_ JMGgϤ7+Z͔hJ@th2mKX-j(m~H/Ipof- =lt *& g? gN|vt4^=P COs8.Io>O%t.Тd (!igYZ7zXZִF! []ŗXiɟ>Ӈɇ9S2]ʅL]KrhhG^jn &_3tuH[@0Nho" =|uJH)K_s"R\&j)yp\jr^'\~G.k v-!a[R&ΙA~z @I 4uD>L6GWxAg9[b%̳2edyͥ@/18$exic#bͣzLܣ[qgCL!g+&FoJ=kB|ԟ K4]}ِXTw24uK-QeN6Pl 41<|!Y$d AV{b@9t/D.-P:,u;_x}C\h!osl'Je9hT.~Y + x2H/z$Sx>9'@k.WޭCr5t⎻ߏ 4h5 0Ay/ӯ԰rkS9Nlsl1K%o7*7$x byx? ~wޯroe4Ӯ] )"f=E[P~Xm`rsSeL;$Z APߢV'C Fkv59phoՄKT*1O?@'cs1xAW3fIu_?wsНcG~K=ol~Z;+r6R9kJaK^uʍDw$WKR8tS\p"P5uBϮ%^YUJ e"NYOvj*[k%hi,el +) PfA`H1#mPŕ( l0Uʽg!T@qFX6}=tS,q曑m C,X(YRY#ܢ38%[%mr\eqvu퉬,F#3>L-(#W'7owMt_:gWK`ZX ń!pv^ws )@7GoFZg즇)ky7 c4r~b3p#BC.ckY vF)!WĹ* ]N{)xvOX*AÄFvzj`7w 'ꏃà0Y&08}x? Hx(c%l,?4bz[b pIt_ˋm¸h އVE(L56E u”O) w٢x/~㚿dg#W~@R!WU,Xh)h"[