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 WW&1 l$ ]S HOL-Probability-ex:threads=6elapsed=27.334cpu=45.504gc=1.448factor=1.667zXZִF!  ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EZPGEU,t g RY^ۄn^rb3%!6Mw+k,Aϣa MO %G1La%h%f*Yy5%JSƶ+0B0qZ1v )o !dސۖw^!@_ ߚNPl5νtNDqkݪxszr4l 5_D)-W]5]=qq5k&]8/\+~Ib]av [|v׿Zą27tNՈzHCnp-rNA Si8URb@nI H  InI; )i[!K=߈Bv7I I&gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Q[(pzvvt!Q|y$^GZX`j޴Aj')D{N3\ {t^!XH [SD27bվ7i.N323!"$#?V$'q 8QsDa ̲c<̓weQK-{JaYOw @ #IR.((2y0TTH%g@4 wW8bnm5VO%p :ԈQQ[Mjڞ͈d->($H=v ?vF-ԮY2.+15趵a-ӡ6^OeȻ$c3_;ٕE|z N\1ȭ|$Tn>_f'5X& 8He"]rHSxEZp:|KcL' Uߟ\tM~”拒T=[+#`<wT9̧]kW$} m)v6OTH=/lPA+TwD`|w0.me'RyHOavӪB({ch@F4ू#fbEP^ e+o|Iv@\ 0g J(@{PmՐDx? ?xe~c$rPvDj.Ŧz I bPD:HFi;KRQ$fp/Ǵ  Wq| 8?j]p:vФZivz4 5o eZ0}c`uQ"V^$>~a`&9`Џ#8:EN7y1D# 5\.AB`