SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 "%r $ ]S Fisher_Yates:threads=4elapsed=5.228cpu=11.372gc=0.1967zXZִF! ]ŗXiɟH)0!h]5^«W{u 1 .>mU0!#zɉ,puo4f(k {)HhUP6n0o v-z+Jr;+gk)q*=3H'?'[SE6Jŵsth8m]Ҁ –ǟ6<Ο=Bg2ۡ,=# _<)%s 5 }pY& ZЭgYZ7zXZִF! MC]ŗXiɟ馸X:bLd`".5?&Bjm/R!O,+DxTSd_N'}YZ7zXZִF! 7r ]ŗXi%D8W8nDrPqR^XǩGqmlOd  (>S0L+8NlRvI1Ǹ-vT"~IAf3G,P<4ZHydNh6jy4_vxt8Wxu'I ҿCb&'DHՕ٬%nD<95=UF5CW.!^[a_7#P5_@X =C7hMmz2ٽC6 io~9gˬeibC&oÖʯyrp TfT,,X OP`~nxi%\Zw5omcև '.'1-Ml7xТ;Dg iqW Q/ǻݠv}QVz^(Cb "7/KT& }礩$YGȵˊZau{!wj0RXG+ '9-UޔTٗKG1<%Ç1?;X9B˖%i7'`?]9A!ԠZ Z#9g 2slHO *և~!T]48n1]ӠYN°ar9OCz>XmA>k:-N@ oH}."`wl Qf|Z^/6$\ ﭰF+)ŅH "`ʬ'3x&f=0Ñ4O`;d~ߍ= ƘAAhi B"N ~o &gDi,%BC2ɬس1z:S-B2-zj٪ P"ȟ}j̕+$\/_'Š{KA*Dk;6N+ΒJC^py#@cmk6oEs o>A@.HpK-G5KAE >ZU唛dvӣ{|ѭҏ߬m"?՚s~5w%:q ,k ÉÂ~ Z OX8-;V1$\rp٢ysPzα.(W'#GQR$f6vHqZ lZu( ^ޙ=VOҾ*Ӝr6mam&S kyb"M3[? .qk[%;R2wL} nIf[gYZeb2b679a8761a726e03a097ac1a68443305741e1c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a bbaa32a933fef7d2a02f9d63011d42d381eacd32 499e7c52363642312cf5354a9c967f00f9862260 % Fisher_Yates E%?% $Fisher_YatesFisher_Yates.Fisher_Yatesdocument.tex7zXZִF! <]A-MՋhvG"uIBm5gCKp(uX 2g YbvFj{GWElvRvhqt`H9J־$QzgYI)Nkmg!| Ev]תz '%#F9zXa5}h(A[ _e ۉ<bb췚āG:sƆ"u<ϴFQ71 'rOËXRC\6߹ $1El_0P4KDg0~.sD}371ӹG'G9e3m}[S& }&"=p[7Mm˄/lytԇ-tlmg Lu'[ӵg2]U„Rm[n^x#,(&acB.]@{>,͢ܝ@4Ъ2 񑠊j 0fj/_঳v'nnw݁x8g CܘADG&pSƒ!UJnRS5 .01KxP#R*y0}jOQa^TLR Get93"[. 4v[W.[l>x׋l @_Ro+#E_^͉ۺ4fz0/>}db?r⇤,%7E2r¦-kx0Jz#+tk9 /ZMУ/rA#eT~T8ֳ. w}-S87k<;lFՔ^8>7݅2(N cUPg<<}HIu檌'z3`\ND7گᾕ3"TX}N D7۟La`sP;)r/IKɋQgt$Z UpJEyF P;OT@fXxz>B2r,&tzc=Pw,dn!$H#+O祾EiBn^[VȕKy$_nS#T6HlÅ6M\YUmZs p'TwExZ,FGr<--w)j oܐuz֩pMRO㳰ͯ92u)eRd)Zko#AĻ%vEoqvE Gu=a܅Z+pNn~ydcZjC6cHq]캚w޹&KoN` xlIq0< ,r҅_(jnCmm_ɻClU Hj7ʊUhݶU,O1Gj:ӗ[Ok {i3dyHD@@f д A Wzu*$K`ky@LUz@-sp)ОLF]?3ꣽ_ '+}xwʨsV.ZTbwv 1FDkc|T?^r. -jU:͎-8<DE%AX'xU&[N\HG(1l U`f8$ y7c9?VeVc[>g |kLc:6ݷGw cϷ^ ~X'w|-Uq3MJmOK},YU;Jl3IQLG i%:ˡ";ԆQ5b5;Taa _l#Iyv/A! -˨H/xqlJ3y}f+6pT>5ƓrKt,pW<,BL𱢜ųHCY_c͛(@k%Em56{ (no}U2Lv,*!pvXMbȶV.w'7V|KH2y&9E5 @G?e KM Nr{w7z'%FϱK=k  {q4kڵ|?ulW] ntBHC~s>;WgIKkm1vI$w8ŁfBCSFj{$xہ1_ e{K)s Z6c*,ޏT/g7~sۊ5[$/tP*w wGI%V'qCvnL|d ph!{P諳{Ih=]6!r X$Ė˰9}p2Trf1vYfK%Q~#_ 6%?% Fisher_YatesFisher_Yates.Fisher_Yatesdocument.texRfE7RGUO=aݚttghux-=&add&:m1o_p& c_;y~M^Uwy q$cuHtܼ@f߿C>?kmSnp N6bg+1~)X~0HN!8QoLm#Yr'x>Fg*#)밵KKFo2\qc?LVjXʖx _aHoy@b#a5@99n:1mKLSvK9Wgם__ S dpc|n0ϳG>PŐŲ e܎ieYHZܒ*Cx5+{ڗVӹaRDYOS L9W=xJ.V׺Ɩ^*r-K|KgzU<fV+9" Bgcx+aLj:L_ybFv.-+{urQ&ιhJ}pm(+"#N.\|Z.3 asUf,βYa gE7Di`ŤTTMrl+GKruRNϠrO#U1[tA/]xF( A 撺{z<5N߅??P,p%Y2B]DxzK^7D}l@F9oq:9gv xwۏgHV=[W'HODv.[Ȩ:э<.xBRbxAA|\bqWF SbbjI_H/Y Yr!b_ťz8c&VkgXdXY,Hlw/8d ƇΆ h=Qze9~/UlBulE8>ȵz ɟ` U M{g(XAF&rwGXy )RmJ)Ό*V>vەZ<DiLb^{*? Ƌgk `]fUqg"8fXn Us9>W@2\F0!R'~tNCZ_& F[(I17jbd{Z;%Ԯ#XXXH@CFPvk![4j2B.h~0JzI=yi[{ #Bz_,f۠ YM#Aop׀f~j}ԜnIc |bjcH1U\ke,AD,%t= G=خ'{7!҉0dBcçqt*|<2q؊rVD=,X v)+aH_$y{u+ݛf~Ttu-MZ`tX#RNpyZ``;e#pٺYsb-*Χ;*xA鍇:C<#?ڵS Z ~?˲] jC0΍\ LX9+ˇ&V$B5K@HjK^mm?cm*aNn]@â c q@Ei.;d&HtZNǃ>s޶nOSlOmОcC )~zl/L@ ʚu;mao^B85Vg^tjGQ`8yb5_lTogW;0\'63̞%5;fdJ\0 BE6Pؔs{8i&VM5HM)p^X"a%;k|˒X ? MYxvǂe]-0&og(L"7I7ZcC9<7*1KaoBrb( e uLWGr6mFל)WNb:Ci' C SଲG}NI#j= g^?V>MzwrVw%nF`&$ITwѦ%ʹld@O!7.71+ڏCC&JH8Z}/R#gCRa}v|XzDCX rwW D@J?AQ.y#$b f k 9~T YBSpN4?"em}[ K3]n)Uka.(UpDss]RYB܀Ӕ5p_8l qG6lv /8;v`;==gWC5kY T乍]n:# ئ)`*f Uv"_Q,)Bpczk<\]0^B@42߲a=&=9AYrycF}R:C  4ЙI~8nB?PL* "O|(D;Wf, rXkj5j\A<`t.iŖdwpw,tou$tdq),6ziOfgDr f$'`ApNKB.)a1uMRcC̼BkgIj)T}?HTXQs!0Z9\ NM$M1Gս6bC5ԢO ߛd* QjyW'X8 \O/++Y>8 xO! xyЦes@(:"{zf[SWd*o[c)͜pPdF`A~3X!J&K`.u<0si/:H :>Tq FX"ؼ"z91gYZ