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 ??>1 |D< ] Knuth_Morris_Pratt:threads=2elapsed=22.318cpu=43.108gc=1.120factor=1.937zXZִF! v]ŗXf1-q恈͐7ӺV #`91knTyڧ2F ]}Pz36f5~b")߶ڮB%$2w ϣn W e'{d#3JYr^wղv~$15~k:ckXG&}D#L9$!@FӤk~."$!Лz!?fK}Ɨyk..XXp9{]&HJ x;]T?Ok7y_c "ל$U`QُV߰u:whŀ{ٴ_KYk8M!;)z/25JmYՙPc- I$.ª<]ӕ8;䌬JoxM@11 24GS/ qw~})v\B^AQjx{l5v5 [25#i<{8Fb{i)=28CL^M4fs2U;f V=yIr rY ,lk @ |o'e% BgYZ7zXZִF! ']ŗXiɟ1˦r 5IfK",t2|@#aXxiM3Z*Q%\` (ezȩ9ɇG o#'Jj<ڳUSa.ΙgYZ7zXZִF! w]ŗXi%923P]qDb+3Z2̾Ŋ/1u qߌPlܥ ܅WJurc{] JhUVNjsN}l㶕=Բ;z,<5$G]s2 d{(W Kmh`i9˝HG}υ2~ /ߚnqOuLW #E)y}:*EÕSewQ (>SwA߉)WQ7 ϠЙĦt1Q\`&;qw+ͻ3ib8;T.ZRt!Jk/WG[d5l.Wv;"n(I3@JPM dn@VϚ~MmV]qQ ̺;g"s&HfH5c 7)V/vo $4tZuz"-]5M_"KNT3/KTW@o":ozH"e>쀃4`UBt zXpEA @- ęh5p}kB弼C< <5F^/xȿ{ ESnOXEO :nME w`dUѸ!cg.@X1gmJz%3EءL>nWL:KXUѸ͋u[O6c[f~WL #Pn< ahީ;03a\5 .ͷl6Uz^FIZ!Le":.ePƢ(mcUqJ>v d4塶68(5y edy?A/HB}C)3#ȶ rNGμN ui iZJq³ȇK{J:ҝoeL!q5 =n4?s^ QkG֍Fiy Bh"ve(&Xޝ!x2/Z6)|gꢂꂛ_\R9aEͻz@/QZ$&w@}|''d'&"eK6A>ނ@,6yJd$痗ߩDgn'qM(5,X/<"{|}CWg) ]^9x@y8+J"׌[9J*LՐ5k⺴P9@\$d qZu+p$a,pL8eEcdGaBE |$WwB!2-rW*FA{ɪ^ol bTcK}r,8u c:D-* .q)drS$j>TZcX}r#R^ ӮMu(4 ~?$<