SQLite format 3@ . BBh77otableisabelle_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 `` l ]%]CAVA_Base:threads=2elapsed=8.519cpu=16.448gc=0.768factor=1.937zXZִF! yn]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=: 1q+!}ÑP&nΣ&BTF>7BlP++ \D;?!W 2%;ZIU!G.љD,+/t+pY'YaV14'T5T˼7b`7swN)s‘#xr~=Q\͎_r'9+|mJ#D{~V_>vu@W(,Cx _)Qw}G?: {EǥmF6I#=$ gYZ7zXZִF! *3<]ŗXi%ύwOrPU`ݟ`0Whp#˓uZQŜMt![1㧦G/i t^ :d2N2]iCKe<0>+ \lb23 "ֿy3yFjYY>%?w:Q+@g7/'ZnNYK0m˕x>7)ЗmJxx72;hO7σ '$3le-0CsQ{Z}gvЇKU|>,5G.oEc]XA~.a{0Sm/{q%MRRU1 S3!|- baQtՍ HrEa.Z%bv~2P|a*}jV*J]Ҝ#'pMĪXUZ4]ՋZx:$(caP9^/ӕ{F"_!}*m ]zr)P$8dZr;΅sHVc'd~il<4Vo"u,VȕJNϝ@~|!?f pG}pEǺ} hf`6.Dg>&UPui,l4סoNY >{=,#yI8"8X8jD %)(:+6oK"][Wb;猞-ҫ,6óq)jBy.'N*tU3gpFTGxTKgYZ1ae35128217bcf1c5f0505e3ee912e3851bc4678d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 ff7d998c21f1aeea0f451e525d3734e07d972d7b f81f99c07f51db947536e0853024d9c332833e2e 8bb8576680d294638ea63c1241534707c39367adbc90b60f225d67c36eca0f24e3f5e62febda6f86   CAVA_Base