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 a t | ]%]CAVA_Base:threads=4elapsed=6.269cpu=20.708gc=0.952factor=3.307zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VV!F˻^NrBǓo^zYdT^3.OF /{ô8Z1bҜ<2H+ jJKיP厴YnqJu7퐜xVA2a^7#m'DJa%ZEZv6Lޓݢ ij$=jIݼҝ!oLplGP`8ܕ$sh؆_r4M MQ>5:}YjYh -!x.c:<X\.oّdSǀ|Hٿ%^JAi (@Cu@=:h "mL򔗉C"u')HO0Sm"=bXt+8@T߶-5"cM26]MO](ג'yؑ;zb?T`B~z(a[J~/Lz w 49 *@#n&gYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2qPQmZm|&Uc !&-=LdPLh'ІI܎SfQE\ܐB!/+ѓ鞅1-׬鹖F_ ^dcO~)}Ӊig7d›V9 eL,0E1Ĭک>& IKUxrM̵`X>gDzM26=kny 4ibf"2t}DtڞN֟Hʦ[5RHPW=$󣥀/RB;+zӆ ąrP/h9ψTTn%mHA_]]Bx¡-Ɖ1ҙ4 UPwXaeYhWT mgYZ7zXZִF! _]ŗXi%B4#B)lWTtWNF@X V'fvE wwabH7'ԚY*miF;Y,p0) Dak~4C晲NqFwޑNƊ7ظsggYZ37c2f17a15bdd6807264fa94b20966740a27456d9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 3f604387e6ccc6f78fcd3de0366f9d8c5e3fcd19 d037d68dfdb6e3ae31fbd2a3bc1ecc652e7e8c9d ab4c488d5cb268a3020a9383889a407bbe5329c9286463a46fdd8967209fee81dec4c3ebeaecf859   CAVA_Base