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 DD9 d, ]%]CAVA_Base:threads=4elapsed=6.324cpu=22.148gc=0.980factor=3.507zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H;-% 8 GZ:8g@r aXXȻ8!\-q- \VsƝNc+qՊmCrD y6;]mhM[#~ab]`ps% tvނӍ 1(qP_a T(zK*]]x{Ė )^({ǰ:&3 !Cሲoy%)O`t*& "PSsane+*#P'5jyڿA >jOZN0QЭwX5ֻ,C b%f-hպ,\0,rTg`wZ7$:!i$gs}|$IyV/i|C23YQËB v4DKXG;?Z) pL[M̛ 0Ot٥ZRͫ~uAdi ّ(V᥉LnNv̈́3Vc˿#BKbEn,2.&魹ub{7Poc265ۄp jQ%IFTf_u|d4䮽W{* ag7g"@%[:I'ZgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2b{(>W _Ѕ5Q7`e,WLOkL7}w{pD{b2/j?Nn E0)jD{,nۄv+}7?N"epEb+H=HM̂:V 6 0Ek K{B*4!˶\G'8!3"@AO1|;.@ΙOOJ=Zq.Ks13#}WL _c'+e02]lI%D^Z萳-d2}㦶0#w:f|og"'7#!E$@x^{f9}v*@VGnmB@+LV P4 j\nF/yYdZJ?R,kJK\L%NG~]%URȭ*7ۥ(+hUCQ$UxC-Uՙ6?%I||d䤤t@hAHUe5u]d_'߹砒`wʶY3A3m;U  mс#UbVy98]t.;Cc#uٔI^W2EN Gvg-@x瞈9|LB|P>Ez|A`N5z gTH3gYZ094c8fdde84cda61d6156df87141471b42847f3d4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 e650868a8fec8e0f04be9c5397bdd9d9f03125ed 27471260a385ade7428ca088e4bb6e156c7ace1a 4ab85b266e4e9756142129cf2f6637814181d291277f8ea5ac0acf96de5d8906a3351fabd4a61fbb   CAVA_Base