SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info JJ/ , S% SDS_Impossibility:threads=2elapsed=62.178cpu=88.808gc=1.940factor=1.437zXZִF! A]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,CCCоqID5 T -q;!F8l8g1?_ ڄ2+BoD9.\ vNM+Q)߼ga7|).SUƯMWE`9D'# r{:p->J+do07j0Ye[1}<6&?zV Luǥ$Q[|_ٶ=)jz`[NDz6ʚ 8is`qg:V2!j;bZ0PSE8 f]ZTYbǯ:B\ ]~J;( M\CG-J0ܧGO/x}JKt *ǁ@spL&O`GIq02s H/ó.R> _2˃ay;It_44TXqG U516wRL;YDMޥ 6/Qe37*^"` tȱ,jge&W@219YUAQHkżㆢm=Mi8xqXYfkSUT?I=Xy / SDS_Impossibility(YNZ*K4o\*= 4Lʽ}$"h63ȏEDB|F?ɯ15sfWWR&3Öj"e#< :5[&oxܴR.q0+_rJNZ\9 =Hմ գ;AIv$ZX@tmKMe3ޕ527k}|Yhlk #sZo ɇe#,^xbv\UohIU D B\?ԍq* m/rn9wLaDl)eҐ-{imH"/ŬD#hnwԿz{y |Kdȹ{ zެVL`:{DrKW=% \%u]'÷ߺ*.Db$[$79f=Pix/6m[*ZߖnG_ƾxβTSD[T{SrqM78~ Ucz3ItO-M]xCsb]ޓu͈~ej^{K/f˥'KeEQJk.; K b(fHݹ&|W?:t Dzz=hDś7A3.i\&mj eW M28 h7ILx6k}sk$ᳵ`<=x=.iΚB5VAh\$_%RXi9^yYUKK6jYD"aف[w\v#to'hk-y;5͠tL`p@'Y4y W^T2X}v^HC EyK@tn(&0/e%9"բ[n?2hݼ, mג$uL3SKT)I\e"d0wĝs=XM# i׎x9ף т<ePp8֍]('⺅z!+N|,Kzhکg辁l&Fa]Ү k:Sb&h%UOU]k bvϛa=g˨b4Om}qoDT+L/]̽ L[}3F"H Q':sҸY@+@\ pt 9:A|rnsmRX3KRX_Ȓ+QԕS8 .c=R:7^*=9E[cT)gZK^:p LCp|F(shɂM٫fWa)AKix!wP{.*Բ2y4} @jLU]XJd qye{-rɎ8jˠ~z6,27f:*"yH{EVaRDž3ұ(Aftj|A &抔zB\^J悧I%B\';G˕Hg[jٿ[<jZJ 2F]D&d~qb3N5\%ƎNv/E4edtMa֢W>Ҭ;DT}'B͠.z[Fq/5j{N@wsaIhq ZO3=^es2v[ J] ӘMxU۲Mh!mFRsH$Ur7 ˗AHB"xHgӻe10zVۿ(“/ъB0ٵZ @:XU>Inv]EsUbVnӋ.I|JZ Z>}tDX*=Chpў^x`