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   n-LL< ]% AutoFocus-Stream:threads=2elapsed=60.677cpu=102.780gc=2.196factor=1.697zXZִF! Og]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)hVŽ&8TIJ %miIG'+fp%Xn2i ku&Dr;h{uV`'#=]H]Z"y {\JUcϸR ~9@-6fn5nNAsi6zR؋%Y*c`a hUwœG1zE޹&?Mr8;qF $V5hOY;_1~HB3!u?bT1 m'}~.>S<l.>ݟ jtU+E_8ND]+v=a@ <J*M"ŢE/GG fŵ5lgݺ0­wJPc>$D;-єB05x D4a|]ԥ ]w =lת%։l_L؟{=`IAso q#?BDӠ=^¹,Hat厌㦝e=w;.Z[(]Ax?PXh(,=K}Y9%# ?:qln_/pZC (D'As%>b.n NHֱ:6E_)P[)l /sAc=+;)AnJӋj[ZuAE~1_ S, nG˦3pUuR0}բQIHʾ* ]e|m; x,悡kh$Yː m-0x,bTpäZz6Q0_) +"xiU2Z'.J.I=hUX^Xħו\ͧ/(A?U KS?4Sigpe%V +6{RBW@E1U~P}|!RxeDʻ =ef.4QB#m.V\>Ò.>elsUFJnM_]үj +>L}VV(vCh5mF=69_ǃhqQ 7bFE(c"=q yL ѳRδӤ:IW/܅^>ch[dcVeAc-CEYǽ̼>W~b3} `945wb@ %sjTB%j 9gYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 Ŏjf[*}>xFb '>1~L29G:YAzUaY{NP PE>JH'n N]c-gYZ7zXZִF! 2 ]ŗXi%;ŶL">rc8/E|D~vg׉S#Fgd0I3=%k Vz@o+^w 3~ RۯÈ ʕ-A㩝d_.w\  7{+* oWg>dSsxNܿJV68@H>lW<1ʴLh(CPX^m%XF3wF1 }}AܪpF=/hfLb<|34-ѵZ 3p/}&K,;}y~8I|AI+ͺtB ȯ&szMz+;Yhc:?V>?"w=M+Ͽ Xg5y˩6'G&~`ݱ7FYS~ź'*U)8mk/{cU.n[CJ)G◁SS'&aC襛jyXnٙ uɛ+K'Ca|n ֗CobQr",IZqN#\ XU#,fH*<^MY|#_Z{{b ?`E^Hb(*ge<1\QJ7>b<5eq %!]xJJM i_qh="ds aQ~k,ڪ{Lj%ᦊu6__{Pf[sBQefnF?tq9F:UݔD גwr! vrvH+H>Njg0b <%w֥LZ+48[1%bɢuڪnF:)s'42u71$OB NbHv-㉾ ;)n6q v~׬6CK"~ e2#KՒ[.sV\OBfC6({@_ 1(j:"OZ>|@cLpLܨB#v$L^Q# 2JD&!>6kRl.4nsB;k1(S ME64rP2d`NA_ 滎7RlP 4}xOjj^yd -'AbY:j-k7y9 ==yWl} ]ĽO M|LJVH#yINwPڵt LJTvoꎐN3RgdQ0J_72M0'z7jm2n2.o-n%D%X$ei\ >,g`~6$䦘ٌ|$4|A5vA=…`4fdVPh= P\QBZ:2*J~᫈6ɢXhgׁg jK&/X#ia82[dyAGM:U4yzkU8PhCJ.s3GX ڎ$}IEʨvnmW9cXJ'_<HrFc[@U=V;kjy7ܕ0fځٳqYfp | 'UѺ`^$X^M@>̍t-!HORP쥅uΐo$5HbĿy͌T4 XUoS_cUҵ9x V Ԭ m{$Nc25T],J=Y?sDc\g[KatxĿ*t,_SVHW8yF<@UDsw,KY|xxb&Ǘ%"4٭T(Ozh vR3mM A˵ ќ9\AHyЙϔiݺz墩y s<⥨|jUR&(|e/9.L1O9~hzq-@ :B 9Ҏ)iBp^_JGtow'^:1LJ?{X *="OGFۋUoUʽE7T ǀWjv7Ob2 C<KFv'rFtNvE\ij}6N 6:}fqMCgGb;ÿjV&9d![ҟηѳ| :i,`ۤ`fAIlB"?"S& , j}inФ]+iG 3 ‘sj p.\* ~s"Sol8 VgYZ793359582d62d6174b524aff028fa45ccec57f4d79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48 8ebc8bd1d82f2a62686f5f956459646e63e0c0ac 9126b85125cb0cdc8ab0cb0aedb1ce96699d6832