SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ~ d,L ]S Codegen:threads=2elapsed=6.705cpu=13.192gc=0.588factor=1.977zXZִF! j]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4zo;0.^aU U:xCh|6Z`i_ mW~_NOHЂ:(w$y՜ѯy.)DrCud Kt̤J E}\d2@RȳB*,( X}TǗ]Lu aF,;:f$t+\eI<7~;9rj_=|<\')Tjq/VSX4o{0>r>0tfQPƻAkZ;r$<~nLUj18v}vBN{#ͧZn?)1 6ɝ85/h) ͊#lEK ,hf墸:`JfBRN!׌O}v <(ί\i JszyXo\EimR#mEw=7g^m|v`i,;%4 ?1dRJt4-;szug_B煳`]lRx~0J}ye>^!*Bԡ R=(.^Xhw |W Sc+f]UǞ/CL'Nl=Y.f6sFm;MvqyïZ>jdr2!%ed  ~F~TEFCg %95 Pls>}ݱgYZbc7145d9a71f419b65c0f763404d9f713659d7d1d2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8 915082dd8be765921534a4eb0d5827ba5ef779c7 55faeff1170d6b846deea91d111130aa9d0baf12   Codegen