SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info kkv' <  Myhill-Nerode:threads=2elapsed=31.761cpu=53.576gc=2.344factor=1.697zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*bG 'a>fC (X1k5WzB ψoPI,89[xAD)i(EwZ)UDU^#bU/S:]Z"ߥW1>eAAJ KAx<Ne.Yz)- `h;&lf;ǙҞ[:O ',3-`|hDjZp{N`:$Fh&@idDIm0? sɝk.h 1p*ߠ9Ӈ^ÊX/ov1${L?\K\³|WUG1^ƭCT^vX f*8MdB9a~=nd i)w?;h^&5ͽd]EQo˕J qUׇJzWا sc|-ChՁ *Vci“ ' Myhill-Nerode<`_paꆮ#dQGZ23k4V5e":aUDApV>bf5|к#B-@qz.ls@B9q5(ܥ : #"b 0>ӨXaHCw^l]3VQ$>p ?6N*4D,1pfO>ɏj|5J6|z^{ivU*:7F~KpOS=h7u'w2 ^ µP3~EO4\ O,`ZFs)$7f@]м-iE&X #:*={d7VV*(.tou˅!;U4ZA)͍b(7$g!^`na39m#!-@#"{}l<|CJz \=Ǒ`Oɺ_G7$ P||+Pq:?#6xXJNW3b(PICl+P]H<` &|QrMdrNs#bFe8w4[=❀,MC,֠~a}—sy$"i=T@KE3gqS\#qx1 3ôy덲9c>R1(lW.YȈQ(u$&3Fb{?}eokp:BܮcmFR낯4-\*ճm`ޒ3}X(F欥7YM_+KwmF]DA]31F9zS~i,'aڑS-0߳k3I)R`NuSOfL-y وvpV)}q(Ӛ`nIbdD3zJ $7V7 M[d=U=LL]K&4PhOwB k:lwcY.g>?yRMRKX`GqȰZfosi+xNFzF5*}vҬ-V(]FhlEcus;XMiʫAf*ۧGZnmoanC!4_@g˝7L=X"Fs^&0S1,%>MMSw7 bS;hx [EY[6zWrxN-'>Z᪜$*Iw_xW w vzv*CR/==I>밼z@ 2cȂXu*Qx.Jv5r, 絚Frr'U|춭p2 KYjy\މ2E (B\RD,c3dUxop&Kt x%C* E&Nr;T+rg l0ho]H-4XƇ+`zQzT+6; 0H9m ulPwpO Ǎ-<,cA?OQIiVV9sΒ iVd8UNywsq!kv[ß$u*/<*FՌc]# Tz~F|]wAv:-T}KSPD ov[°%LNgCWI5TcHZΐsR9: "9;ߟB:X.Cg%d1g@y'+R;e wUviо5Vcf-֬V0E1kL4%U琓o3&1^so7Xe3OU<.CZ$U. -Qu(lKgYZ7zXZִF! V]ŗXi%zxTotfj=!2N%!1qu h)k?_io_{hLUv$ӏl4DEX\/kr(¼]'#6SB//t$ j*;8Ni>Vfu̶]f qMKQIO D yP>L^!&e8H!ei(. ls.O"d;kdlNJޒ#nb8 k˦#Q_+fyj#n ^; gqw׵m+I =gru/aL!1 U=*œqkV"W=S6@&Cz3F ?PH'u/bs@1z/w臙Sx>(  4)󖠓LװBl$^\2J˚A/ Ku2г]f @ CqXʃ~s.ݢ1 u@Tr2oA1?uB| ̢By9Bh쌷[`tsd&lGIP9{ަԜ. ;*B#,6"A~CĿ:t"]1SPoSؤ3M-l9:g ,W<Z{JvCSux>}iv iӧ?3"Gnbt\2khGV/7Ԗ pP8c:1ÈHD^* TB&n >,ݻ705~$\_</b>jt%ҿws0l n6,cޚo&@ev9N#=fҖ< =no~{=QERi ץO.;2,R}<Ŕ 6/<¥02wL@A4=,$1rk뉴x^4;HYՔ''o3$=u b_eU"z<NjBŽs(wlm 2km$Eٲ䦫\ȜfG99gE@ayaoseQIWA1Z&VzCdGb `z('^ 1Gm{¤0hN@ew´$=򎮯MBʹrУ{+b0S %xcդs٧y4Q0`RyإaTHNfr=$LGKkF;w CC }_`EDeY&bT~4=3yʆ4oK>\u`HlyMlg" +I `28jͣ"Uǂ;%Y@ic"@aR2589`>: bfPCOZdlT1A K*/菐p.do)MALf1PsNL~3Y|mPd3*لsl>DCOF}q\j:!~_ $5"m1U8 e GiogoǐCzi:/Oﲲ$kQxǛk>`<uc]K528dIh"Q;S볅NS&`14XYu"j.PTBV ٿև\gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 1d6dc1579605996cd7794b7159da262073c570cd 2232b04a67667704ae029600345555d924889ea2 2bc8cc6e9be5cf95945e579ba08ea994323a0ec4 3032be206441c7a0278a78e61d3c80965912ef97 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 489cc83115622e6abec1120f6a9cb06376b51e20 52b0aace9d7980c050fa4e0a384a785c607e5f31 5554507406f2219d3e72529ae9e58f6caa1f2e86 71a02cf1a88b6183f35a2a220c2b22294341faf7 74a314581c98361286a17f50616f0524af2b7c10 7bde2941709b90ac9aa476f401da3017d4a53594 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea 9cc41dfa3e643c946037f4699017698672f224ad a1430c36debb751f52100e7681c0c22e8d86dd30 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b9f45f1359f659122b1c5dc28e3affcd3f2783da bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 d0ec1450cfb711e77e017a32b4233b76b39def0f daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 fac8ec90e4f007b9008fdb809babfbfb06349f8dc27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 bfd5848bacf97a9fb8952263c4037fd55861f6b4