SQLite format 3@ ] Y- hhb1'{indexHerbieResultsIndexHerbieResultsCREATE INDEX HerbieResultsIndex ON HerbieResults(cmdin)r''#tableHerbieResultsHerbieResultsCREATE TABLE HerbieResults ( id INTEGER PRIMARY KEY, cmdin TEXT NOT NULL, cmdout TEXT NOT NULL, opts TEXT NOT NULL, errin DOUBLE , errout DOUBLE , UNIQUE (cmdin, opts))9M'indexsqlite_autoindex_HerbieResults_1HerbieResults <<<LLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLL1197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@C?IqY?(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))(sqrt (+ (sqr herbie0) (sqr herbie1)))-r #(1461197085 2376054483 1553562178<[WK (* herbie0 (/ (- herbie1 1) herbie1))(- herbie0 (/ herbie0 herbie1))?? FF ({c(/ (+ (* herbie0 herbie& )W (* herbie0 (/ (- herbie1 1) herbie1)) o8[;{(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4)`C(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ (* herbie1 herbie1) (* herbie3 herbie3)))[9(/ (sqrt (+ ?hE3E(W (* herbie0 (/ (- herbie1 1) herbie1))X )3DNVWXYZ[\] * 8?<'#U$%&I-A(+L.1/26750O94!":;=S,>CEBG@HFK MPRJQT