SQLite format 3@ . BBh77otableisabelle_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 dl ]%]CAVA_Base:threads=2elapsed=8.144cpu=15.536gc=0.640factor=1.917zXZִF! ri]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= =LNQ-wtiuic)Oj^;ϣj8:/{]Y2ey/h1[#wX|ʰK-C\TpYy  79,R5SV?HhS #ńǃuV,6h(U(N}[Y lP >q -hj ĕ%rYiu{P>tSƇf<|ԆK؆b!)BEu-i$1:/f"zQ~uJա3#V> WnlRu[R4h0pȚX].&hT};<B"4)sS{Bwt 3:*Y DZgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2@w%L<<$Eɤs?@u[K/tq5iYpIEOr2Eu=EtEy{-2hAI,Q["H($0Kx 꾙mQ0蒪&|\ @pM-cs-'Ƅ̭Y|lMZhZqyjA5]}4 ͖rU^/ɭ+;Q׋R\ؖ6D [a.2 6Ogqs OyפȨ:$m kdMLp-"F8|0>>[(~nv6|r%[ȻAӁ^O2)÷E HĻ2?2} U&_~~1G܏Ş;~ց5!393+_w]{$Mw9?]2Zn\@؅@qRII܃{ǿ4QE `^#2/c/;Ys'vF1 3=U2M \SEG}IXKg(c3Bi:+:䨑+a64/4!00św-SUK3]gYZ8cf23e014b2d55520ba4469035ad32c0c3960ae600b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 26861a2f7729d3ee945ecb9c15aa4b72e3287be6 5cf2275acca90619f2eb259f066c3f8b5ea2c2b9 de0da2e5791d182edf2ac8be8f977ed6e95800c96e63840da944d8dc5760d2a5d7d222e0fefe1a4c   CAVA_Base