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 $ dD )/]HOLCF:threads=6elapsed=15.566cpu=37.200gc=2.084factor=2.397zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>Vj'4snltk{Ia\m -Q,ݬѨb3؜@̛NJZD_r̭yvXf4O.2#dd~Ӑz t܎C3SN0xύ#yaƄRXGm.Ĭb1Q2z(7'^#%a0d#ٯ8se1D/Co [U_Fe3&NgTiEx [Mzl3I`Huts#@: s@JM].^  HOLCFbM2-eSs'z4M"Pƒ)oN0`)S#]EblcoeFΚںI3mgCǫT`"[%1@!#> TMWHM.B W{mW 0]Nhöh^8L#CsBVl& h}:Blps6?ac0 f(\/a~;` {QVe㿌m\Sf6T|8>veqh6:Z#O !_-DJ$S2/ !KDj)jwdќ<_.dgYZ7zXZִF! Kh]ŗXi%6++.,,AӭXC7CdkK0m7.RCOBתR:JHFUT;#Si2IKQWu!qJ`^d:{;YmaXa.~kkɁ6ųQP5}m 9 32f\ YpG!}[ΦICIn?jH%VuGj{Հ3͹]}6{:I%TWU5jd4Ԇ $H>[팂r/QQ Vg'Eᵬ\jgܒcټH>˞黏h>qr!z铲Nljk K6hI'3ޡʑY{YS* >K:H=xडЉYC` |R0طҚ^qT@U5?jw)~6m,vzyN.JZp~M:0āR;3P٭dIijI)Ig.H؉_501EyV T<䂝Wz'euMt#y{w&ҿ8a@>KF)y_X?*B%o ߗmdJ+7;"jd9|#eʗHjeC6E9OFٳuxR|1.p75'aN5?~::hN/ 5QtEMܡr?x7x֭\h:<6