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 HH5 4l ]%]CAVA_Base:threads=2elapsed=8.575cpu=16.744gc=1.048factor=1.957zXZִF! &]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= 66bKLҵbP^N(߱xN*+fA!D[ȐFqH-6:aA.$ZI}*1,On\.'',RPmC]nt0l9nm`uO_1IffyU Y+WCN3$YL ꎆ7W7In]U ! EAQH$Yr(*lԑV4cʓm@mܼ2ha?2'W>Pu|_ Bd7eʎ_l?~at9ƇGz {A.;>u#AF4ng =Ne,|aj#r h~6S­A90Jz2,:& AАlZ֕x:ױښeSjWDc埵p#k?[oi#M%oYF{7LJ(|E]( oLRgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2I= l~+V[V0-j`BJI cwZEJ"` &)^Z1~, b睧M؝rP;ute\kd>6M_gԯXuO;QB!(B=ۺh>x5;NNA4#wN-=A~ PLS/T`7|H\xVFӒ1&;(VaXR2UL{GqRq@ <xqD 9C"DKC` \FϮ@ˎ!^jzֽ m)R,zCw"8W8TN`B:~V" p`G<+ "hDCZ&Ay9&n\a=ܷФ>ybO" "@ {x&kx?*VtəL>THSٟtK$n* Q?(/Shlԣ Ns|4 w;V(5;,ޕ1gV@== ylNyD;l4 t,<WaDES_)焇ﴹA5|ʖ w MVc.YV_:)ˉ3ZRv ;qP1؟E̎:GQo۰!'/hlAp >qhc4\w SȽ}7E4*|w|nQ0G0LmAo/&ObJgYZ809cb04d22ff71e91b6b0abb0a7e28c958f7362d2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 59e461f778241d0ac6835df93c20c97556764092 d00ec3b179ec0e09d4f1ea5b7fe8a50ffdde7a9c 4a834cbc39a682ca4d823c0147ce17fe7dc250ec5cc1364e6db1d22bae220372870969be5b530b3a   CAVA_Base