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 Q \t ]%]CAVA_Base:threads=2elapsed=8.334cpu=16.300gc=1.064factor=1.967zXZִF! >]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=nTř'e̱oV2+;ߩy16/Mi6Y: G_|cbpJ6;!qo 95pMP-В)ů_^˝t.OZn-XtNHdND&/;\iU_'UWO֩'c%{o|igYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2%;ZIU!G.љD,+/u-VFx*fj[1|P^:A|@WN #OµwQp+(U-zX(h졃ynJsˠ1K5ԧO.|Y+&P)pC\!t,#TƒUnѨЫ*2SP[-aSp\WLR!P'&7`9?37*b$rMo;lD"y'؝_+ Wv\X0苻e[UG5%&R4+/]Qo85kwjqF}n眽cZ@^ y$]XqK'? 5gYZ7zXZִF! &2]ŗXi%>gnn~#idF)%S kN=B:0Y͎e ,MbBlK WX@{qm7!i٥4CiR0 Dݩygo!|mJP!+qL@@+Mk7Ƿ.6MU2\~n1bVd]!`* VX׮Cl*!v_-D!P[fpwn_SS-NwyǾ+Έ_ b4x'=a}쩳=PRvH”fZP@M$n!QBH{h2ϗN!]2% E-u[KI(lKJ;ڿ)™i=򦄷ʾhÙK\W{3@xjw^I&qᯰ프ņzKlxIV!,1i౉*B XX26}D[8"GVӂ<Z">\.c9dQ»2B 9=M'EU3 ܔmZe]")QzDE\bx4#X*h',_ f5Bhi #f$$k(" M5.0 eijVt9G[YCcBR CZH63"OoŒRO>w)v2a6 n<a3g"m:L6t'RȍC^ln_2M"3gYZdf9e11d0333ce8a2456ec77d33428c204cb65c9b97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 aee5c2a96c3e523caa28841ab70d56bcebb4e1ca 10a37cbc4b1bf267a15ff46b217f5f3be3b6ddcc 8d65dfdedcd24d898b334fbbf17cbcdbbf07f2a747b34d695bcf6f41389aae3ed544f3671e28513b   CAVA_Base