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 CC2Itt| ] HOL-Predicate_Compile_Examples:threads=6elapsed=48.358cpu=151.628gc=8.868factor=3.147zXZִF! C 2]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}U綠evc<o6erfJVZr'WԯazH|Ŝ98ݭV/UY q&bηJ#"A\u6l 7eL{>Ϯط[*A xy19ĊQXr#\!2xϘBؤ+7ݫ 掉Dvn~xcSR5:Jdi}3.}NW B<Dtcx!U21Lh'WSTöJBz9B#ȶ|iN/x7{vB|11KH?+8*$8i8ؤ Ŕ 9{ʸMf!Js5+;τOKu#EBc o r8~= oZ\1_ԈiPo!e2$;^&U:HuYmuw3Տ,It8AWXKh/0D'?2}K6%9RShfU,AT a-o1ž%; h;O6Μqi4/!/lFf"r-ƢL̢ĺ4 vaQ9'L^ka;@rĦ%tnh3 FYllW#+9r#CیADQǩr*[ GS]*e3U,k6G[HH5wQ)HGZaK>tX2ik̆vBq\ox JqVؾg;f_5N: [J[Aģg@Dn=GH,:iHSԱ\*pzԡKFNU@)ǘ #I{Q:NkUE"b`kߵsPWpKȰparPR !I HOL-Predicate_Compile_Examples b: 1R0 fAEaDցbzS62%Bh2<(>E&#A͌ab*-N]qON"4~-ɚ\kvKe26E ML]~ץ.Y ((km%5̮BIts|Ԓ`Җ[OE>ޮ:pdHk>!`=M(c<Q|!5PbthHR9.~"[R˧5;w菠Bu 0S$UYޏU*lZl5,MqyB KP5.&VbG}p.xΰw7X6bKXuh2Q?-'3h`v}լ+PjA%^b$4bkA*|%+4U+݆-2%o:&p@=PG \TF 0RU` ry壑>NV9*>RDHvrB;?ĥ!)'8U7SuVVszJYfz+d>Ka t?ε z5k^}"C_^ :og>tvJW@a3(7Y=4ӯkM"wfG9 t%Qi~[KMa!oRw%r"DDIڕN,;q9mvJjooWKz#t=UؾAmͪ oR!?ƗnN E>MI-ql/\a]=YH'4JRM$dV#L` RsGcː4=bq8F7'Wrw6_(~?C2+Z> pIv.]lc(KkU4 P4aaltGX|ɑ8-)iA {a3.W9LJg|,sQd bQYCWe `%{S~y E*}N>37դx[%Ƕx)"q#oH(Y>EsLqL$hDQG[ ;-̬LVߞ#ۃ%ݕ9ӗf^I^s\4ɍ/V4y屓-SԉK.hQm]Ԏ ٕ * x l'kqM*ECoX.p;}+)A!05VB)e~G1dlU"W#Am.e>9N5ثr]t͝!VZ,4u)Uy/-2kOi=a=0H_Y8m#7`\(s-Z8 %O].3&eJ5/*hbIJ]Jg E0j"8DA ұK%LvX" bRҞzo ":;đnuax,%ԗ 6p͠|,eGj*,}W9s">)AYDz*6YEOa7zm\}wtQ г jl{6O?65۷ɗMRY㝎GſGHd($C/) (>U{Ώ̕m{{2P.gDu"GFjQ$gT^#PXC'WӖW i5g6a#n oC.ְH @;`Rh}qA9HBNqh׻l-Oy:RާL5 H:%ML1|Õ{xn }`L!u,4y+xc '7n