SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 3 \ %]CAVA_Base:threads=2elapsed=9.648cpu=18.744gc=0.824factor=1.947zXZִF! : ]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]V'(}ݹ86JCg?0KaI,6AXZ#No"ʮౝk E9a" [),.&DVSiBAcgW`F"ZҐ8dF~t{֬peTzk()g6y6FIGn6Бw&lsCۀ58_iVC͚d&$8hFXjd% hzdA/ۛ?uBƻA٢"-   CAVA_BaseH>|{;pKf,.ۗc;Y=S--uhz^K|h% buzy,df1p=>`S6?7B*H"kV+ Lw[=v< Ysi?Ϣ[h E-!GԢiyU t8H#gYZ7zXZִF! .e]ŗXi%9F]X|]p:~-ȥXFMUR-?uY; <+{NVsScfW>%/0E,RiR9] 7&H$-q5!<9Vb(!TA29\sHAqQ[}N/:>j[^RwGHF_ : kE¯_$'b5:㆙z2@;2Ubdoby(F 0R8°~}Aĉ2lU&Fsv(Q.2I$k#(2Z>qJk]RK?9>⍁pv@ޙX,;hpg#EMmHYn4@AR๊(?Gm*7oA?de [Uö n ;[?8cZ vÎ=v6R`.0:1͍"ZJ1W7H )OD'OwP͝@V7#5 {AVR r<20pr98O,