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 HH5 t ]%]CAVA_Base:threads=8elapsed=4.126cpu=17.856gc=0.803factor=4.337zXZִF! F]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}984i#ڊԌ5&P$ >`nm@1ɕzyVm +ZLSuq AXU(^&f%ߢ_},=:$ u- TB:9PEI7`X̴"3"!?EptgBɯ!ۢ|ٰK3bMOˮ8|\*.CH J!hIxp]#K-2T+@0+ώYl z Њ y&rH52#8ܜQiX[WRpix| z=1rJ)dgn${ODbtz}@k2?Cbv` QR!>2|X`gYZ7zXZִF! ]ŗXiɟ>P++ \/Ϯ|Xb:6 5eXd(ݙ #Qp9vXbpbvΡGOhhxmyT),lw% ѳz Ш|~|/YuEu1fxi$܆}/ o)ڡGꑪz\5 b cޖaXnY1:"@M?*JW[y[ ;uttOXGWg*]Np]Dž,5WjܩRh(Q`^dǘpRƯ]Qҟ*e1'\\VCҜI4J* qsLjsB9.zIEsHrׇTtOn <[/U`uS!*u"|_(|9f])5ٓK4E[5i{.`t[P4&KkZbjvɿXKcp `A˥td(\uSY]I-Tg2쾪>ALFU#0@w *HQ}Zc'.oWH%+gk߼%P i-x FN@ M;518HҳgSzs\\e9U*|MAK IeϦ8]۴f'jhaGߦ@HPPKKc}D$5JM Vsҵr>qJG MjJ]_,m_r] 1Mrɷ8ѫ}6k]j^@lbAٔO'naH!N8L֚KRW۹FvR#O'n+b9gYZe85d60d2d6ba89aa39db83344a9a6833dc8bc370c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 847552051a3a4a92063e64d41cec45217a8db3bd 929720e61c0f9cad99adbcdb1afb5a95adb9a1f6 1edfcab2115ef70ef89b87b72282ad56d18972e365ba5aeb5ab28ff8f13bb58703e9d4dbddf18644   CAVA_Base