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 / $ ] Well_Quasi_Orders:threads=2elapsed=26.748cpu=48.232gc=2.820factor=1.807zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫff6 :ޯ4 zB<ݶ5!߷el"kozGS 8@z!y6 w$ ,d(>]w:4jO؇D*eQōe2}EaC rFe"wZe\պmDONJgAO+׏17<5YG?Fw}}&VA+B)-l떿pRJ==n*p]dyz{ `4tw] LP"&y 8[ݦ$8a`/M#@ٓ:1~/:jZs=5 K:ZaSR}VH׸=6\_]1uQt/5[@mNl|d8GM8^h~னPrG fr@HヲrY-\jB?qdҽqzMz筑t//V{6vC0# n-b8G(2gM mٵ,CJϝAEdilDq6R<E 6~Yx7>rD(43&?t) gIk%+{2LTۃb3F+Bd,< Q]CUsJ2ïÔ*;9d~gYZ7zXZִF! 2 ]ŗXiɟCrhi^IxDY?Av|3 b0ڇb=%*WRpŞ~k 2 RkFmChVmBG\VV+T<2縫ا :FQ x$Ml> p)HP1šࡘ)ÙOyi,&NZ ,^N aN)n3E)9 pR*ȳ_\H)1(2Ph­D^0%@`݋39@r<7o)yO;M.׆A]ਣ{'iv4ٴLH|?o f־ 4묷lOx+,סe؀e^e6y҄tEb@Xͼ 6ρh7mG5rv*F3a2`TќC=̽ NWMTEKЄlj< .#h0 limxvO`_GoOGB9NKs<9x"<(#pz0$-uir H % jK]W^jV| RIɟ[-;7_a 9'wTˉ81ƦZNۿ|*D@jQ,0h'ۛɚow+xhrp]:9jgz 8U yc,ǫ'I+@3RI̶FɟHIךEFF!1?-v?>ᘪ̽CNz-tye 5Q8Sbh!1v`T,=SqUV qľ ԍ.bV 7MUWZqDuEך9X0ra?xoY#PʼnLy85yOUA7@$5<3B