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 +1 $t + HOL-Metis_Examples:threads=6elapsed=13.817cpu=62.544gc=3.512factor=4.537zXZִF! \]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓Y1)LDֈiA%SZ:jyh| Yg/@'ظ >)+"5eQz?B?&h euSqC҈+^tb+O5X>M^\giMcN~ @yc}:N`S-'\g6CFcP,Vrvɻf4#<@5 GgӘڌ5. {DU"H^poXRXL署iO\*ܥR 1 HOL-Metis_Examplesf(vn+g/)%R1>+LU-'i`Q՞9[iJcV=%, Jxz!E~doѐƟ4!9 M5a0v= 锭h'LJj͆xF͇0f5J)b51}R6HpkzA'R .?i4JRo#6hɐd=B-) uj.hҼj˷ ^7Z'>+,5 ._|#-YeQOH4,@-Á@kW _DbwcKy0%Gk2kV Pl(X;yqA~=K`Ԯ !'ӋGD |jR*k9co2 &zx`QZU,CcWf+?y">Dgm%y@,$Hucݻ4O <兞ϯI{\IYH9dSӋ:Yymnc$BG:ϧy۪\T?F9[2e-xf/kCmg<|l~ \ )x-w8(4_>HK՟*jIkHi+BWCF{!m5eO:TҐb罂|"N3g)95;#COy^P\ ߹gYZ7zXZִF! ?t]ŗXi%6qF L1*Jò&K{ mgxJX1!"@q> *`_{HvL >ʷFYu/UiUN$w0t:5EGk/wIcևOl%N̆\04]‰kޓy. e qtxUx(cat'=z4YBsşl7[I_ gԫ} xhU$-28sz(lFx{lTna )3 .Rz5"8lv. ݚM؋')l-G萛orIU@-M VH1l쇾32w/y:uq6CϷ%sDN-ʶpu~ʺ+akZ1fCP4%8ST07P!5! ba8aC& ɮ> f^xBG^R:'(ԴgA\|k<D8]K)SҴA z Z&ȺS,#hBp{8$Ի'S)nZ: aPdF-njm9||g`ShFRgnˍpbjүQ00AA+XI-9h~+:S}ngȦ$c>hX[[E,Fcه$+6u6G@CU6ED|JO+Xܿ4|>C+$`(7D ]L*ū+Rƈ3d+ZODW $E