SQLite format 3@ .;  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 y l4 ]%]CAVA_Base:threads=4elapsed=5.952cpu=20.816gc=0.996factor=3.507zXZִF! G]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HwVMJwZԡ{4Y x8?`MqMHkcˈa=0Fv4ETmO@>t(ѤїĿoQiDt}^TeO-ԃbl h7$\^ӬL߹#*ި8 ZeIz}uw $iV'"-T_ZdTd5}[c7[+) )oDӊPM٥ONqpLE/ӝH|샏v`a3x^ks||j)V&yyyà Nb D&Y ,vM`{$:N]KJ<@#5/g`МسЫ  9.Bn.1 }thA#HI{5ݵI-O[Z ]y~;:ʱ2A=  "@bgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2XFfH,&?Ro.&s8 =o?NZq/ l"!AO%_ ;ypt7 cJT "]^S(G _1QKn?J @+ ,++kce5O|ENl0"Q,nt4,ZWvſ`,%'G /iЍL|µ߿hpW:!?CyֱGܞ79o1Y(F3{ (#kl$_*S[Av+R ua<.R2DgǶ9ϑBv8xLa?cDFV$>2e>jx6 ҦDFR]>cCW^Um48 DgYZ7zXZִF! $]ŗXi%I n_-~bZo?=̻58piV Dv4a#խO{_H'd}!r~R6pwO6Ꮗv@ ]K >'mB? SqKsuCE^_X,` T"|Mnw"[4re $B(25#hfvk,VP3`Su:gUx*]< ׂp;P &Fy(r#!~0&h\xEe"R-n0'FbbV#4# VW}yL9_.P<&hEZff)BᨸzR?sp݅<,0*+\D  Ui+'cY#Ȯ H,%ľ+[PN1Q!%Y.4hqN h̬`ArIHFν}t= iwX1ic{|:e;Ծ6l9H5c5g"~)r8v#-|Bq%juVT4Q,2Ә'#S׺@.\`_pT42rjrR\KbG#Gѡ9k T'_|0i_{CjRyM}lje[Ȱ>k.ה)XvQ .PY iĒ vC!*AȸR1,hw~hW4!o=O$IOә[N^7<J$Ib4ĒD9E`xQER_ O^v4#޾HGy9R8G-1sê ثQt-7CSt䰿6︇2S zrՋM==tKH#gYZ91d3c8900fb9556a7031a823a4bbead64f8ac0e15a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ceba0446620459e9ca50e1e491e696749bdb99a2 d22d656bec329e50ff82e6a974b78e6137bd04cc 018ab1a0898016f4abab2fcfdfe93d114212540469bf64e061454350ee99a50d05698c196b08639c   CAVA_Base