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 Q ||d ]%]CAVA_Base:threads=4elapsed=5.758cpu=18.688gc=0.560factor=3.257zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5I=Ik6jU7Iwc߶0q"ȭIzԿbMW+ad(]`1OB+;"𭐗 &̓=)Vb|8Rd "i YkfBuS)qw. s{*yJMf5[/VW)2)>wE(6ň4 nuڱu"tW~ud*|b޷&zRϳ43'!ɋ)Ր;oxĈ@ٞ)8x1W:!vPxe[QDo5XO@T3I,+״v7u ‚t^ $ӹIVv=މ^x%EǘT*e Vn2K%~|} A 88-|21t(b 8!5 jnNQZi!.)rE 4f̊:>"e2<GojS&Y+㥴TeV 1U9?kF\vKkaZn 8U(xG Q㗵X&#^= pg\7~1ks3/ ${]VS O%=7E4)G##˓"gYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2SFfH,&N1IS; [_J Y +  ^ |{}iXar.!u.!Ko ԬAÍlYZ k.ޘh/T1);M>e3_N7!kEOz&cn v'Q2 Tyts '}W`nn$nJV\>=uUs9'ϩ! @El1I&HzKut,-W( wsUlVҚ4A K5+8:C#w(N&I* "UQ 7'[7tw*h/r}W8koL+ l{-"}[|R0=SVb j0gYZ7zXZִF! $]ŗXi%B:b.l0VK$&#؉-m*]B^/31,˃mdi 2SnIǘ׈N{^gg١>%jSZC](FABIw(1$"A!6u$w8ChʸakTe0`4 4o3Or𿊀X $4 vd_4ˏ ڮUETRo:3f-ܹ[H?F]^=$"4Lr#lo$j ^f 0Ta+&I=(xi|^hN hYX'[[ysT$dA^+0*-$vO1-x3UaO:|&Jf 4eo\-HFNCfx\-b1>`xƤ| z'zgy^%i0g'O2Jb葚 ˩?K^8|FoL;]>}ygm19/h XF.g&IQrf~,d"eaN$>jL 0X![ǘ;e24зvZ!MaWދGj\< y.Tp<Ζ*#RIR~?oGo~\YU 3va6}ݬrZ]شs}KR^Zw]T,ﻬ]>32p|k ^k`{6(Rp ;Xl~9]{xmia26#,v|#uh^zBf{|3Jocܲi' 9t:-@QD]mm>b$"7YoX:~+ˣV01|6 (smM^n)2cH֪ڱgYZed161a5b19743bca69aab1dde1d29becf0f1199f13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 858f6cd8207f79c7ac7ddb04778d17fd495914d7 9bb5f26e1f3ecd30378fd845a664d648e23e2eec 6c5a22c2e116427b9151a47a5b9dfa20fb726fba558bfbe3dfd6a5483279ba9d247f995653fc41b3   CAVA_Base