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 a l,d ]%]CAVA_Base:threads=4elapsed=5.923cpu=21.448gc=0.992factor=3.627zXZִF! E]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HX) Q/mK:sk7V )p ~'XUתij:nې>fBb zڄu)# 5M7G{qd*tY)>-ԘE)M6g_/E"&\qDXm^i~m4&YB7Hm̀(%r`6iSq)|0`&rkYKOw}xpNgtwa @SҢ<אXu [@L)sOfI՞t{{KcJb@E LAV4_ڒm_ VsMˍa`̜fgB)^j7hZQ<^_*Yv*KgQFc v C'.q(OrӨ#䄤I[/EeDʬ%#ݚYW Ɲv#9]ܧm$gYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2I= l~+V[V0-j`BJC }@^ATe$֗;H$d4wS +Bq8vuC'&MU12pT+1E7TYFymO*mɏ9('LM4genpkG|ܬ;]d=@-`6)op۴ҥ\7QoD) x(4%VГP:B14{rn}ĬvA>gn׺UXҀ~//+&[I]Udٓ MAH2k2?Ï7*M0]=  e,?NY! ^͊**nGMP_|&=bm~2R'P!k8eFk<9e͒~#ȇt2 !/0f_@{͵07W:"A2AG{j?6h~BLlZ[*důozQ Bo ٓO})Я|Zmt>j dJ0z3νnδݻz6ѿC,D &=mMBҔgfBd&Nʘz:i=Z-J˟D$y®>bfx[izG/GAaKK'?i^_)Е__-J,Q.] nS#2mkpa_J3^8fZ>iШ4S_;(fOv\Q8g