SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 44I l,d ]w]Routing:threads=4elapsed=10.317cpu=27.536gc=0.636factor=2.677zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uwk.ʬOfQfp@5]lPj$j'11ìcf!VZ~VBaKRW#z/Va֨7yoi~Gg2ty8hHlؕCEE dsșQZz>5術#{bvPq1s&|d'TۅLe60#K?|$"z=Q5Ǖ,711'OA5F@0T6}WA 7DOGR9& Jp׵1,OZOc~F2vAnԾ~hh69uGoR[cIJp!F!Q'%/H()2G c[s Yyݓ޸ >%[UL\GC3D lul~i܊YdD>D_Br q5TK)hG?Y $kثZ!hq"< 4bp{ݴ ہ@6Dh} h;}_+'.ן}S|'JX__IO g{x5䁆XVˁl 3#缠;p((%HF 'e7..L0Te$/CWb ͝nY2d%97P0皲#ԧGt?mwU>!{ո(NYWIqZ'o-mfgΛypǖ#g)̓SЇ"ʴ%Ǣ`tT %ژ~B[ʸVKP2rЂͯqsWD60Hq\_=ʾȽ3kM\ͫ-;`K.1tYwX_zsоq?r/I,;WA蘷xTly QX>"ĨpS'x@34,@Hc&эda e(eſ}McX7~>MBq;-4O7Σ1#;`2X֍,NiI'Mi~Kd2'0*yХ{^-BKshqBOhXF=udz^xj/ĴB4~s u&bX.5@?&-UW60VMcSOEfuJC0L˖n0GDzطJ_}̼ m &[hWsX4b- $浃gYZ2626cf29619cfd6135b51d784f7e84822b00adcfddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 edc0236a24935ee0905145f501b97eae0abeeb61 969d7ba12aab4df1aa8c922f12080892293d7e94 5c1b49971a3c20a1f35d94d02aeca9e17693b82f 12ab85f4e81449df03576000e401a2e19b6a0b061bb8b8d7b0b41c381d6c47a4eb35906680439e98   Routing