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  P P-  ]w Lorenz_C1:threads=4elapsed=0.867cpu=1.480gc=0.000factor=1.717zXZִF! ]ŗXf[&}k%]ŗXiɟǕ,,1q~Ԉ@m4~:p"Mb>9r>KB (6ZHW}YZ7zXZִF! ]ŗXi%Gf*J{^gGNKz9!i 2Csh!ivStY^R5NC\fm~"숐\X᭤֕o>+:Q2' ?^^-ovmy4ȓG%vA`/KFdAR<5|YO߀\7՞!nوXxc1iW#b hL-~dN8\&y4xa !m *qƛuh;Bx,N>=ƥ [6͸nK ̽amVF‚2ĄeTB0 JLu{+$4nwC wo4Qy B c'#7-g*bD]?n{eqgYZe7c99b8135dc7afde95565b72e3b58a3460845eb1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac cf7fffaf26ec7eeee0eb325474d7cf55b359967e 34e3d162567d46f7fbd6f0d5bfaee05b7ffd0493 07ea000551610436dadf7e88159c954725c93a3c   Lorenz_C1