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 m 4,4 ]%]CAVA_Base:threads=4elapsed=6.167cpu=21.680gc=1.024factor=3.527zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HJn7*nTdH}-u/\Ҟ5! LۖB ewDCgMw˫2Ğg/p2!z^V{L&ud*]8"Ԏ71kYatq~Ņ; ~~\tS'V L UлQ ߒ1K~#+A+EdK_&$K晞/ywoDaIWID$׶OSGva$Ax ~CgԹg[8ۯP @K\CJ5'Npq#>06efFƳ5G2ȫv?7҂3ûZȷip!OLТ&T#׳J5!]PgܑKMTؾNc +} =6 Oz65w{E#yVzO+!0@Z@O77۔lߧqfU.R~_p_bGm)dNsu΀9pĈ 㛮}6KzP08.u\R7dWeОhOtQ6\KU7;K4_"n*0zcur3Cjեj@KF͋6qJN^?U-+$CT Pu_Wv%İ'\|H T'lԇgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2Se6QJ} DV!)ըQ|q/ߡ4)H7uUgB3TFz۴.ߚ62Eip'TYe(vD>`&;xw?l6Bz^:!ԺuOJTGJx4.; p+x%}d>#+%527AR9,Oll}>]sHv-/xasiX-2)oO׼A=u/A̫Α~&_ e,e B>%y(KWH}gKo46 z}B'@WRYR: 0]-O4 p(%|v!Z!oЛ4U1Xo?˨(To{c$qJwُ" agYZ7zXZִF! !r]ŗXi%Gf|\Ԏ&e0 |wÍlUfdb\U:aǜ34N:Nz@ص,N)cQbO6%@w 1t82X(KLM VQ [+X @C_U%RXdA k lqSkOpcrURc U&VwTOG}+ 2Vf4M ]0n9Re\ybå\$|@|t49MaP|ª{Vόh"v L*Ke|(Q_,ĊcF4wG.3v[: %t=)w\09ϓv3 <&?u1=p1_Hn_ʛO\SUH(kV,:e<8)bUZ(ktY9"/mo+v yLv;eX-w];ZhVWYERɜGf #+EM1Hk Qud:n)*Xn7m3{Oj0қ]UW6nE|7$hF~K4zNį+)>i 4bf -%2v@^)G_ӮZtE1ʌ$Zp:#Z`hDؼ /VW0@m ? :m/,6j3ҖKu0X]TOo]X#Ā9jn?-Hj%z^{EA<4ьmщMt'F{f6WT8i')JTQW|p:,_R9 7=h@#gT$)|̇ s[:O{EvCC,hLW WB:3gYZ5b3b638c6e4f2823c502fc2833a6b0cb74a2ee111795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 6cefcd2ed218490289d26dfce1aa65d5a321aed8 d1548ed7c6f6deaffb05a61a9153cc2ec17b6c7e de6b082129334e5da25887c2d89ea6b01096e3fa0443a288a0f56beb8d1c765f059b7c400de92012   CAVA_Base