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 u $l ]%]CAVA_Base:threads=4elapsed=6.118cpu=22.272gc=0.968factor=3.647zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5IP1 @XT ~ۯ PCkB4zmLa>lȃ>XG xV'2K:lҶypbs_Du(oj^D$Y9ր5P\+̪2׳1R &Zk-QVh&RP,Ht>J w{_n9r,}.:Q8{ek59U/4{t cܯ~[Q. ρ]vF5DxnKLǮ1 OޭwygzZly ; kFYv I<-@FLŌ^lcIAțiaмc1h6FQR8nVh.P#WMz;X:jaK"~.%O쫉փa]V~;FrkcQFj4s%s?riZ#+f[b1-,+zdG"ȏ{w&MM~@DnhDqjw~,'3<|n=QYxoXW;KLpZ>8d-{0?~B_^Zub% {&i-gYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2Se6QhDZrt HI. ؓ+Zyn) XX<qG6. CZugGvkf5 G-A*uQJ+Rd'+1_df$uyRDZ M D~KŇFf#~N8y? -z*i 'Cg=pƢDa|7z+>36bզBJzA^JN> $P|-FHR•MtXT-ZkJpBMNNS~/w(xP:m8\"sɆ^U=uxH>V].[|Z&:ϊ9hb<Xּyˍji'%uB(-,Ny /U{] (k_ gYZ7zXZִF! $D]ŗXi%B^t#tMcbn_]?bv\ؐ%}N_:53?c!mlZ) Xq{QӸcuF}H2n?^Դ*$LQn"CԹgmBׯCJ_3.Iv4?I)[SAr"Eq)o9IbS2m7Wywdm#kNު ߎ4e1͏4Z52v5Ns[8;MAs5Z *'7^1'|9P#Q0B>XX7I)@ǝGu:%99kmIVe&1]PDvOWOp݅ZLHv7ʛBs@9O-8#`u@!sW"O-( D-ZUYu)ÚfѓБKrP|1]ktry96\.Kt3Im+ R۸_ZY3jQs zG/ 7 $d+RfG^DoZNL62"8UY<~GJUHy^Y8['c`zlnP[y9iĦVPؒDû^jӽXzOu۩6WZK8ކ/qp5j.)Rx`O (/ HSgYZ90948f37a5a2be6b3783d0358a3f4ab924541cc83853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b b3236b6df2e2e8018a5749ce69b0bb14cb868fb0 b776ab859f0056db5fabbbc4984a3c899dda1a68 db5c5beada1a438a833513643acb0e79b386613bc13d27cf153f162dc6c57ff586755816368cf174   CAVA_Base