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 ((M-D ]S Lambda_Free_KBOs:threads=2elapsed=78.891cpu=127.448gc=5.464factor=1.627zXZִF! > Z]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫp 0>!})Cp+*g6 Q#rdq#c+щ4}sTC%6a8M++oh9qX+mWXw'~f" fߎh/Ŋ UK1 ^zYN">*9z6om|ܕ %)/~Q\t?nikf2= Ď4-Jm6ikys" |\sF7dnx. esMW}/,E1zo5O!(:Pe /M c\F/ XPݎ>0Oӄk]q aJ $ne'-NJƨd_2Sh\ K#al+>!Ţl GJ']q ',m){!ToW[QR9s%2$)C78J[ _r/>5k; ntUͬwǯU~QJ^E+3@P ] Ǻ5Ld)s;"M̗ʊ:3CcąmWY`u Eoݑm-VFuܰfw_șpIJ;J =B3?E_˲UG!e^jbN+" kF6#®Tȅyzu;py0(*M`JX+ { bY-0xCao j(g&,ώn?EFqz8thI͋3%jg>f$qM_ eUjye'̓N_|I6r댗oY-NAn?i-혐cgY8]0k\rUX|7#j%]^7֏9GR')nȅlrV/jME8p\ NO+,M!n[xrLbÛ`FrxL/`п|,<S8CL*TTR#~=->w\4E?]o%Q2E0}w DwBL4~SҮ=\DaNsmdH<^Ѫ خW |,RmgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9HK?.>e7"$r)l`dPA mEqG=GTa0~ۦ7"{$xtHC(c^)+3CU8J!9#=/N;Jި 4X}#]. ]ơ]U^HyOؔw-X5s;~.Z@.(Qj0i&j._Q n,M޸2hÔJ9;F[h[Hs㳪_a@^S ~}tF ʉ8;u^8^= hׇ;何d`wZ 5<9bߌ)Ţ[_d(p䲒ݍ1G[FU9ja(ģ&r{waq BQͺIcm`:ml3ld&'.!B־hU1ۉ;.gYZ7zXZִF! |H]ŗXi%ή++ga*#DWPm,U~b2"448*_\|D4B}#N__QX6,lPBЎq *#GPs¿!'t2g x cΖcU>'ENT dD awd9645(qJOq361䝒 4 X0a,*`3_y )B\"Ek{AkյT$縃<)z<%]acp-ȃFwPTf Ӆ]<#@-ԒLHj1Q@x%9nUa2ѝѬIJ% co -4w鵠G<HGHsLzefe; 45 A2S]n Hv}'(w-ꝫ'1˵w7*F]zn,L,vE/n 3hddap. |lږьƺә 0ʧn % \F1ԭgn <ս>}XX@vU - Lambda_Free_KBOseqea ݣS$fpj F'2qjc) )uBx)LPrtMNqlZ^gC~;\B0_1/a G1F[7 MUu9z zg I_-BbInP.p:*K#m ']S3 w{{ݶHux Yew9S;L"JM R|^h""UR}h,(EҮ&89Gh 8uAX%R9e7p )i`V7Oa@lL}ǚX6Ȋ?Wq=ّبQ_ 94.sQ@Qp}k4:U[@8Xh2 gPRI<ėҲW; SI4q쉛rZH`LCuԹ3ѣpG9.Ym,OgؕX1 y⇲8H0Kr8/f} %äQ7ˎ}\3P [T5Yc;#x,~wL3K\^0 P,9Ai ,u ҤƘo?:'ʾ;Le,j AM6Cj@ eɰ۷ގתLvvɈY FPҗ%E`C{Wvnu07]Fzbh:ﻔgj2D[2/יAVl-AQ]O1,d֎ zڙfgC#,`T~1N_Cauȯd8<e&J"!V]> tz&lafhTxLWEt:*inKްu( nؒChLcUT_>\mr>>{0s6pAt~y5n>KxF$Z'p]9EVZ gDz/Ƴy-zg>F}{M|j<.ibj=o QW72[/ bmG{FЯAD%p*2*Ӧ(^ЬŲ]u =)/@-ܾ}Fmg &ўԥd,vwy*X`焕Ar#-;!C`tǛiLOTzߖ,zq'3Fޒk |N n%F`0{`{i5x~rBw?'췅A+THq}(PWxhmS$IUkF 1>rn|i#a c7*Y߉|'Ҡ P11Vׄ8-|#7y|kJ W-.{1+w籩0 J>2ο ׂGV7.sKSf%ۧm=ft52q-*3(M!E'*ٳՉK r0h"49P!-U5L:1[͙}~Zṣ¼e|b\3(!ԁ~էiKz끅mݲosC5t,nW@n,*KƒV$OSgkkb+Wе}7>\2߂` eYDK T>.i)v/fqOÏxHA璎4 6 ^cSwKXۏ ?n R'RsōGCʒuzL{wR^5stL~:U¿:WuV<74,wtoЈ@^N:EQ*DH?2@ MW2УrԄ'L̒+Z &v^Z564-Lu;WB MVFrx4ڛZ}[y$n_h9dȽ^Z_~S}mcЊN,б"!޷VN'2O!G6ʶt~+ӻ~vgxoAA GOwM=tАq%3rs) q{\"CcRXbGb}4߉/)it>KMW-B˯@l/ 3?=k>7yD.&7^ZPzOI.'-!ƅyz <5Qڿ9t.Ѱ[:|c8ǟJi> `.$ 6؟t[KV5+K[KyE,sjDق܋>py%oEm.B~"7S/ Yɿ^viWk*uSHJvB,D×pqȫmu4(T@^"L-fFaHT9bS`"Yz eER)67H^#;WxY x; <e ?tch`;;iEaꝠq}$j0;.ۀ{ ;r,FAVy)HOc%%!+0v>0xR1 eNduA瑭&[64SO>6vX8P3"D.I4@Gb8PˉyC3Uӵ>>"cו_s6 4 S8\F5W$I\_?!?",i~d0,96"Q N("̹8