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 5, '% Collections_Examples:threads=2elapsed=98.390cpu=187.352gc=7.704factor=1.907zXZִF! WV]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧMXzqI~[4rWÛw^$ N2ȎBo`Mɤ#$4R <)A _/)IP=~0|mޢKdH& _NBQc\>e9cJUS5T>4SbyWnWI7>hٺD(tHm?_'ޝ%B 5 Collections_Examplesmg03iPgj dTyV")k} <|P'sq5 v eI˳ArznC Y6ʖ"zwaz/9U_-=wCyҁQxvsf&UC<^b E;=γnTƒ91D0;(F5S6@hU\H2d،w^f}&okJN<,o?o*׏n=]5E ,6(%_@5V YBw/}Tk,pO)l |{U=HfNAs7pfu]Vs~f8Y(L?汰аٱ^~%>~Sxc x Za0)ר hiK$pЅ3NUkn*H._B%K"_8rlb/ՒԞOBL4 Ĕx%͟}&w43+mw]ǚt5k@#4UC)(< 0Q Zh`՜3bc*Qy2$Xhrn)Q;  _[轇T:eB@ P\u?}qP`Mŕ<\"@=|]ǿЙeF/p%jwQe]'1G OAmfaS*i(vm-P̟"`:h)1ᜉ,IO@]brg,'̌}Tž4CZo G JA䁊C{iG#C[L#v(#ېO'!  9k~Gy{1vܧc]%xм*kZ;VLgLG)809(&`W3cM^~ԁ)QҽU Fܗ.z6ȃCh(=;&^6"_W DFv 27KJcP^v?Y¾[2,{ ]Zb&8]t8HXRf e/;K/7ghr$4]ڹ̗FVHf9P/xb]}uPKrN$݃Cj a&<R3: %h?tfӡR _|H_{&EO6Cbnd-PЖzOFK.<0m# ?j3_`51ϊdAJCk)yxf9MÄ|_:]\A7?2,k g9,&J>?!R9Z4xF }K5ힷNglh2! c=5F]>X.d)kN}a.= x BŌ{"F~ڰ,gxu?GCVBz \9¬-8 Ztt1_Vޟu/90gk9zGi&(!IlFXMh̿UaK;x\̔J`^v&_@^VG<)[oY ݤ5aTj?Ԫ" 1p^e =.`EHK^X=6?T Nq ~[RWOg9&5cF8@)&">vQ8KX+YT"Urf. -Q ȿK`KIjNf^ޜ]K:e0^a\qVi<:wpɽD$%/~4{GS+8CW_3VTzn_@?؂QQ#l:* d>۷Ns^4\ˍWlS0 &{Z4; H*)>3 /$iIqkcTt! /a8Qq4 ى d{vuYs"H0v_j tŲh7'/D.AlE,f6Lszp2L*a7_z._pow; V/=tD44Cl^(,\_d/"27+tN4hֻO7B}8cHY1o" 6j.GaK&MڜH Z^5oF)4+*Jں@`=ӌYk7hL l_-Onu2^dhzC#}&f@[w9m{]ZM_9OQ+&)SRޯa|]l%HsRm-#tl ;Ufue~4_Lqu,]ʎ<;E y0N:~T?:Y YT?zs~i &4.]tJN0ʀ1*m曎"KƬ46͖}F&8ǃoN'/3`,#I цLi!^aU=lQT*bR (D && 򂻽LW$)5ޭ["U>K%@JKXU\/Ŀ%C~n+j)>h% Usq)ɵj )؟һ:֕j~62T*j8km,G ?(F5{mLgJ,2˰5!UH-'2{$l%)dbxJ&ғ_žC_Ϊޖ"=kV  zLDžxaSE5U JU`DSi=@D3ƫY$=WGg w@HQ,4Ԏ@?~:Z88A/=~M.o1&.5b B͸/TGfҿ*.(آ.gId!^u =Kn?Te/*d1 ?٩As2 @C.vImAxE3m[4ßN"#ls,Ü 4eSj P4u+|%F -ea[6[JRO{9>d~?SBB!*봙,Jծ=`ɏ6se-OM_^#Ɓ!*Y&!Itn~Aď4sŽ`)9Bdz2O-7odX~6;9K*+ B=O2MĦ+xWmI|9ߢ&~lKleN&6m`i%Iv6?jt ~bS&7򅰗o ;JKXqY4ϲAEJm 峷iG"|[Kr\K |Qy:es@Ұ1͎?N LX&TJg߫'5[M_Y5 sw.۳x q2y =qLV'iނRԜˊ%VQ;XEM Q!_(",1x~Y~8 },?O6*|Ԧ$ZJ: ei`e*E\:K)e7܄rxR"%*yDկsn4D!* ~^OB= .  ތiXaYBNmbtz+"SVIåH}igYcb2B:diʗ7~ɣZsA\B٥屄 ࢐{I["P}aٲL;6Jff}OQ2@9*.j`1.T®".ԊJcIOTF&:]/J)IoڊÞSnbI_m/lo2ȾIӐ@M;.v;K?`N*c<҂u xt5-kp5 zKTzUƔ}Fj&#gYZ006439cf1ee7727dd0cc8b37aebd9df24c4a2e55 17d6ce7fff517e9d059f9eccd6867cbd4eabc228 1cc84f68eced067e3d2d80be07c33261288a9f8d 278a088b0cae1ecf26228d9787bef1aa61073c84 2b8f81e2e14617de4b4bad3bfadcaafcd55ca7c4 2f97e24b865119593bbd3754c344f5660388852f 3cd568b407435e66b10daadac60f4bedcdd7a740 44fe796e2c8683063a926ffb8e3c3e20c0ccc0e3 46b4777dedbe1a669dd0850463150cc85d4a4f31 4bdd953e23b1b8b9181de72c649743f21b009c11 56b474ca18fd648c12397c61c70868de58f1bab9 5ead8a91e05ff0f4a8e2f5466083f3ba45f3c2b1 6a93ca85a902c26b6585a17d7cc327646e0eb1e8 6f4afed122ac54db282dcecd53dd2f48a7d09d1a 78f4a47bae9060ecd2b9f4fc43f8b1754657684f 7a009885a6aa80d561bd9259045ac146221b9f06 894984905317a6bf02637eb83ed241a133e53266 983c0107d91ae29ea08dcd6be73913fb4a0f61b2 99ce18f2c98672d404970306b322d4a7c89d2149 a0dfad57577132d8104ca8581ced4628cb169d3e ad40df5861c1e58c7b1a069f493f033df034555e bd87896046eb65cf2e751918611ccfac6121730c c98d460df5d38db5a033565119f3adb89aad7eb9 cb45aa29aed037350de48fd1f2887efad358c2a4 cb8cd6b7371533b0c818652b312b0c1fa815affa da39a3ee5e6b4b0d3255bfef95601890afd80709 e103ad793ec58ae038c029c13af415df85473212 e438435068b32076bcd699702c5a6767eeffa31b e5dd2d8d1d68eb729859df8efe9399cc506ba9b7 fb7e26c989d75e3be9e5b319f48812d0eac5d123f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 0b6bf360c9d294e321c171f738cb821c0903d51d 8466ebbd0c9f78b1ae12654b16bb281c4d878c57 97b7f300e0b4079e4148e5b8b1adb1615627614f