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 uuIl< + HOL-Predicate_Compile_Examples:threads=6elapsed=52.904cpu=178.688gc=9.124factor=3.387zXZִF! H ]ŗXf1-q恈"3UUMѺX@Mk1A̸KEgPI$G734͉M^kEnҮ]_='#e8`7r"QB"(vh٭..mr`rՀfMȋY'Xj4alIH6)*gI™7prV04Ƞv!g̾Pz a)'-T.gcS)gl:r%EbF&ĺ`ȫϩMϥ 5t8Ӹx(uAQ11hS4 {B3^@&[Vު _v _7k{(|x&gbn6|~M"GSj#Nnx`n¤ 6<q(FՍrln8d;) j%.NEfXX䳫KXi8 LS^'Üz{ `Ӟ!ep7OךIspKѾxfFp@p6gѰXA4|@$0XU&&C};|_} l˩0eSM$J %҃Ut&JrK`/ ,Hkb8f{*#J9 tЁu"1ZU;$c}hov$ދHtɯ:D$Q 2-.1]N>c3X;)[ d#²*ޠ3%Qi,LOrz큜? ͠Y kh%cweulNp+X''y .lRly$  =&X2ova|"c>ؼNhV#|Ÿ\XfĦWE{XRˡjEVg{aQ?}9bw3Ǭ?"4}rsrȬ)v+}&&ݘJBf?/椢RTkybc7~zezME{ /jo,3/T!||qRu\k1Lb5XʬYgC]D1wLGoӡ}ؤBO L%uLou߉1>r?i5WͲPõJ{Fb73ǐ*o2  qoF6ige*|)~ف ODUBM]XR6E'~֬ڧ)} ;˶2p7.1rk 4^ko![AZꄟ=*6{@(RnY%Š u .4!VfCS::n\ʰ dF{סdzLyZ 4w_\ѽ˒NKԘ+n[?P,"$PRT7cR>gX`1KԵUQvo$  Ա*[M# W3Zm?%]I6%$a#S04Խ?A_xqH:#=V 1 e `3?\+f8bRv$-u_X\Z%~:C氭R.sWI dF-YiR5i@zkl{>MB* d{YDovhHk>ւ{mgz r…v?E|CZHɳ&?NA* 0΁ țՍRNJ6X#I3*p95ù٠jqd58&Bf٭aa\hcI#vLY_)Y_?@å's@SpxLc?K2ӖU]- rH}X-6IK,#q7a T?.Mp1 'UؘB`26dE+ZXk@ n'I[P>eͼ9xw"1_HCF0|Y3k 9q_nbꃱt^i߀*:q⌹?~!1<0O?Ӏrr:o ^S"R^4:.|yY'/~2U b# t?62]D4w,;]k>澅 i9i}Z,N.tRc{ 9iRװwte%iw {)BvxG^+ ړ/hX\n{Xm/FuM*H n/6qӗɒo_:"@4EXFb.c.W9j%*~^e}tz&_a\e0'ty|&@UPCҔÎdAE&Ixƕ}0tFZzxZo^F\Z{V'y pTM{$1 JJZ+a}kQ=|u+} 4`qͣwoި^n2{aa|ia%MA'ma-tBYm]p_o W "LT*KH?V%{{6va4ADpIzm~ T IRk_7||BcOTa(c啊L]ק;ăsp_ǏÃ̓R"zrA4J#adM@r !BO-f q;8/P ׭qH zɿJ[sU]s`Id(rzEzY5U}ҿF1aC%?\F$/oIjC'H (Ɩr*CFMthܢqיMd%:  *LjV ^? SWQY,Zd&{_kI?ܨۛ__Ry[TRZwdH$=Ɵͩ{~eT&#{?_KPĺ,m<|'buSp%4y; Rv[O4uMQqXHpO$~W-tM5/kߐUmJV0x§ieʡ+Dl$؎vmCˀ1&-uM>JЎXב E^O^R,w4jWaU5dCp Wd)O6F?Ħ`Ab%*HX/ ]lT;;Jƹ."{i.,*#ከǮjR?ĴN] #y<_ąbg5@@[߱d>'ۻQh{Ab"#ţr:6F&lFPTYoMaΚV/X[--ؙy]Ը'MH,{6mb$}^u +r'-Ð/,l5NLbi~O{뱚τqc:[m8p4͹0ay? F7e:(P/즧b}PDMڈ}ZنH!)yrĊ! 'et0AG#{)~# X[.)OD#IDuOZ̛ 5BԖ. UlD9+y:߹L3fT