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  > >7' l|d ]w]CAVA_Automata:threads=2elapsed=67.235cpu=93.320gc=5.192factor=1.397zXZִF! $]ŗXf1-/6vRZxY{"QhEA}ξY•dС x@ۥ1H !lQf&pvUG:z&H:y.__&M.? 9@'ƺq ^3\DO=iGHkvڕ 2%s/[Hۄ?NX<šy%aK|+߽myl/m[>85`jf4Uܰ,^m󁥀=g,F_gDO/ š%)3,w翝?ߎ +*mj:7brmb- jogEqF6ǿ&=$ţǹBэCVriD/.b5Wi 4!gɵp^CgF6ړW5eW?a3FQ9FʳǮ}r@O0_,S>Jj/v߻QvAťb 6xBvo+m *BnEC,kˋ58\ B466$?apL Tʒh@yX>k $XIJj\seː\/j#EO++hv`9CWҋ>#4f{ u/m IQQȱgYZ7zXZִF! ]ŗXiɟ>P*%;֤er,L`&ṣZNU]_*B:1fqQϸ]i . (7ʢ}PmGJݸִåMuPRIe2}h/€Qr_s\G% rVF/]ZoϥQwX؉|hZFaUFJx-u\:6o.#]7OjwFuUO/ 0P 웳L3| p|mUyERW35,/2N牢=MW#{Ż+gb'JLd)O1 ]Y Kc*bg 5r@KDcX A\-VR'|ݍϊLtQ^ʷ%gC}rU[vc#`^̞1Jt[`-?FZ5%i &)#0$9 U$mI,6&1٘R} ! 5Z >7Nyw)A=q~ s*bݙLEg83E.uǏI1Q2 l??4pAMj}oXYA+&1&MiTY/Z~zvj%`8{5ү^-j ꣰ _h-L7/ #v5 :bBrYMzBV>*nhF&#e(o@\1o/ l9߅=SXss¬#Gκ{/lG S3;NE- :JàK&ְ2&h~3nbox"ۈja?jjaľ;Ψ k)|*%cQrkKZkc YʩS `1X؋id $NfhSwK *-p -Fڕ+ar=viy"+dF[g9e(8N`RH “c S@npY= kP>7xX0.ZSE+Ou)"'&$blJ:խ9 DlÖd@ 2Ȩd'ɋ0 v^$`:uj`^Fр#9Ō2l`V0ad1 r6KP>|X&C(S1(evyR5>UǻلC*m.Za_hS(;W7ð`v*wݍɍlv%fyU=X#ɣ0P-"@oTU-"XA!B3&ՙIKGaYc}m_|rFG3A+JmMx.#[<,7/j/͂BrBwҰW6:@i}OIbL!Yyx+)uҖ̑@ 'fdcnJ"15S 0q<ˁEqZ㙵ӻfZ3ZbV@y0a" \f 8a`M*B+\q3_Qm:@f&bA|]aScrkj.N!G6vPgvTʚG^HPMOB'㟗D.LXeځW')[,`@ Zsp7iV~HgɅ þ2ly޵pS9jL[B}ʤHږw³f|5 Iu\exAFm q0xL:VshRC:i'" {H &Ihlwuf+ꓳ@swa=OmfwS6ͻltƲ.!ps_Jg\#o S:K8F&\®;~i|k-n[]ēMI;z@yҾ4{YfYF[45ȉ!gUW${3x,B*>$f{4Hd!btFyNW7bHuM2J0TI`$A cĴ<gVn_Jr*|r5#7n(`D&O߷E7?y&I Kɦ|n iK|-z|R yӊ򗄹c=NJ9>gYZ3fc70826947de222ac734d19d16bc2809915ac010dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a a00db45f922c076f84c700721fff4242e157db35 9474c800230505bbe6b4f1d92cad99819f4bdb3b e3deeb94af35788086634df4a15cb8079d8a5030 914215c92f2c7e44c9634b4c2cd128198fa134832cd255880363f78299ec18bc6f8d21a4472f7f0b