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 i l,t ]%]CAVA_Base:threads=4elapsed=6.300cpu=21.924gc=1.064factor=3.487zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H\L} ıI1>/uSS)=31h1Ŝ# LVj/#QPVnt6E3"y,qv*}NmE|c+BYZ$7FPg`\g2F0lC%A0sU A˓xmXĚsL~'?4s;|)=qK [jx+P>FdFH:3fM,ДOL+g`XGщ 3J^a^@+3r әC0g[*fef"oHjPVhD>ci^JwEnIv࡙ro0-hMdSz@w3p Gkާ1! r;dXYGD/Il 5 Y;ǽgDi `i~a[NkF/;ZOɈ*u#{V(hcV '_ZH>d)P#tzdSP3_^auM` OɍhHY۞ݚCa ;C) @ֺ[mZ*i`m,|rV6x ̓Prmd}K_C'n3ZgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2h(y! ExoT43e?J4F] agYZ7zXZִF! &]ŗXi%Eb⬘mPVY`#_:uhV2/LbO#8Wi7&)oP"aL$.B/l8z1lzlq6=鼾CekMk '!'}AU@l]?w,UW )3H(~l:c.չ!3N7V}X$ؓv1>kgJ~Z=w8cP`k3 7K¦*,]XޭZQ/C2tQ֔=;'=A^D";MGڋ Ϊ:ohlSٛ4DU%Fvaz odVGM% Qwߢ 5Ӯƭʩɨ=P@L=qwóNp|:/Y5bxC^SEIEXjGiT:̄\@%速V;sq o+6 /Qq{6œ>3կx-o;_ Z<9KHDŽO>]Y:ɤ.+O!&f ZShdk?"2AkhD8S'䨾 ,j2eWg 0 M6MHD:F0_uLf^;1~TJ,Uu_O;.@ Li'Ό}4ضl_0|]R3E`=@@%^ !Eu(%XIM^:gYZ49bf6e46629a2f106fba6ef2b7b99bf8c89c487a87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 1a57f2cb4c4f948a7b949dbdc8a5748f50639d49 652bc4b287f432e408b6febdbaebe2878a39a1d4 4a3e365765dbb51c164b57461de9ae64d31558f338105da57440abba6f638aa356ebff4eb163b363   CAVA_Base