SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   n+|L ]% Secondary_Sylow:threads=2elapsed=5.861cpu=9.860gc=0.528factor=1.687zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃ULmQHݹXB}Y WMIU=7;b{5 -R(כucowO{Ay3tU!hiNm,73Y Yyug*C*CǮPQռ+f}1X8ꏺxZr07KWp)wQp 6'gYZ7zXZִF! v]ŗXiɟy|1J(*BhJp4N=f/F;}( MƦfsZP}^ҝhP-7Z;wtvm2igYZ7zXZִF! -]]ŗXi%; }51$8{yZ뷪0:ަ wjNH='vX@9Y–9k9b|)sTJWIjU$u)+"06`cR[f7\y\ViPr6rRn%\rH{Kݾ_diƝA߆cC&F)cg|q=;!HC \C6O?BJxͽV`JR')upu_#sYJY[*yU ˪ź+ULM\zNdTYjbwC|%͠o"c$,:PA"%!B7%)F EHܒAL BA;;|qv)}\~YaPgЧ3 Rl܃˛dbۈxϋnc!_0A\OY}$(T YkF0D£B烇hX.F -BܢU}>ۘ[GjH}tg5P6HP2ԡ6h>rާ5ءglPl_(2PVԅOۼhtRK/Cr0s~gs& oS܅y-R+:]i,U{žqFr;f< u"Tt{įAYCgOj' #Ւ"zZJaA D~dI&w! IO&G7$Nwso%ՖHӓQh)nMۉQ"ȭo y$Xpx]ԃa9i>*DOaQ*闦2;;qQAKko[BĿ#T`^ @~7^G& b@ ml%13I;,}f|⫖ 16Rfw(g M,Tc (qKU |/G4 &rL2-r`; ed R^ko@#QvBf"DijTYǹ@h7ȅ=ձANB=>ZSt޵&󡁰qb5a "9 btNUj}9P+L#,@j+d~ue|X50;b;P ׻OA̅6ݵAsg1*ޝfTc,S ?A80>8ےMMbq:P(#& T5rߧN÷p] J XCmk{GL P>|A 2@@|vNA5.Cqn;j&/qo&Π} F܏0`PHq.gc TZӘ$xhֳMB<;B@S8sPATYq}oE&z~w8rSOe1)$ž]/Z&9 YjzvW=1s^Q|= A4[j߅&k..-y> =iݨZat=TjƧ,l. .&Oan-AUm WaѲvF^R5Rcq1M-kL+/${4Z, v+=}=$궏Q5Kvv廸(+iv@Ml'0@PTz\e0w ~o4HU"3A@e Mw[7cj@HWoh|O,f w֭ aw,Ojy=+ަ唐z۔*Gr!WׁKZ\_:o"* B1? @$h 89^7zizwL,󃉒g˾iO$tAf;f{-c9^q\#Aj(SK6|y9e$6fYޠD53zGDAE,*Pݏ)BE6"}F#>J G>_ Ro1!v|^Zۄ!x՞pCv"3bF-^|+]eS ]0H(Bq=ˆ !5Ԧ5*gu's<6m-z5[a*z lߋ# ه;X~qU='2Z =ub,Dc $:Z%YZA\:T<&;PBd̈́ϛA¶c OKY$cgDtdly!m,AeY6F<2.b\U,3f¤gyUn ԝ*u ǷH9` Vg =ƕ0e7 >N   EED+S%Secondary_SylowSecondary_Sylow.SubgroupConjugationdocument.tex9+=%Secondary_SylowSecondary_Sylow.SndSylowdocument.tex;+C% Secondary_SylowSecondary_Sylow.GroupActiondocument.tex Jpn!q;c9[J]+&<0/-B Kw ܤp)* њ,pp͗iG_ <>Y-0،/,^vw0::kh}}~\!ALr~@#,QԾC5Ϡh}/5%zA.in7j" r!(]hHTA1:kC4pwdr_T”k)R!F+(+4 bJ׾n^۪c"9KxV([>宛gp>-2 CI]޸яN$]T/}QӓlXMZ,I Y 4y(@)XfDs%9Lb#~-2T)Õ /:6VQs2)!?ZQ ޽Eo#Ph|(*@P=4 hLy;'>\3;WOϲ.oG[zLK;8"|oaIo+5"TPTx7LMsជo3nz.ؿ ;}#'N,JFs -AU: 4^A'Nn$:gh \6G_stE49tI${Oݖ—`~w,\!dR)[M`KCv2󍇅5z$ 3vAɊqD5}52&2hcV쟙avZ}ʖ3u l=вp'AV;L,nIOF _yZPkWmi `lKŖ,[]R^{Ї"CC{#K+1H&"/2WUA뇒*wBA{5[7"#ümgA(h&h >c5,P.b%2vtZD.e$|J]U$Fk h~mTS"3%"Q$+}⯷8.%3ҙk]^[aKt~C_n*}mXX<5@!cUQ#jx=@O~GZI0n} ݨm`C z6qD+6A%2І݊t[u[}g@QnDb캺7"SQň`VA)KbnK𬞩 1G1IZh'$h La rOFvՑuecnl3Dk0;msBE+S̿V>w767P[HW=]@dytNQVeċ|ùSeSX]ƛ̧f$)aK)/v6g &lDĞI[ܜ0}ћEj4B$^d0ņ_ierH',Fna1JV_h !a@frzjI^)wtFNbRl,>oIW4&ZO+=qr}|b^o>*&Xlrd$y!PHHmةrF]Ӯ;3սcH'Co>P&?eZoL2]'0m\ ) +ŦIyiDI7rǡNm 5mcy #"Q Nj38>)a3d#-0N $#/aQ_K T]eAa"wy/a 5ɰ`}b*uPr,x]B !5Ntt0#C=(;OD~.s\\ǴK.~vh?$ btkWfISܱÿ]i_(0 #=S bg]bc',?e·ΨT6l+b9ZmGQ|o eJ d8L F[{SD׋ƅ y¾8Ww`5@~ ~sYgĢi:I%g~L}[B2'@,Z]kB 酽_Z07Mf87#_uW2F̒h6/xb_KSAZ[5xI2uv1oM/r"ٞ)D\P˰ ،E$ɓd\Dp%fDi?M;X.4Qd$d4dm D{hH=a'\ }{<0m%{P}6M2lj8\6" AX[UFD "-y  u wd쪩ZS@L7AH?ȯd?7Yc.*l *YلѡX2|SHNAŔQF[CZCB(Z0[-Rty88$G`3ЋY7pĵ;<ݾi*Lx0Fb,>?˧ӳ!iҀ5?>sL;b>5}@kk},N pl1ŭQeE6\G?s _LD[ג}i}"k='S /٪DX` -gȴyF #g!G4G;éP-oWLi]h'rCmTBm&9Q3=j1-+ӐR ~uUCҴB!&_ -6ϙj7kգz-`%sYzgu5Î}MTPcڳ?Ġ[T L"ܞKovE?^9%yoQ[P_}|2Xxl$;9,?`P }6WdePQi%#t++dDU!KKp<x uWV 𫠔MaHTKʘIg#z, :a#BjPO2ϕ@[f*_/= @$BƸh(#oH 3rB@Iѡ Ec[^G[Ϯ1tdi51E7+[B#1a'ƮEi:I_ Li`1J# LF4gs5//C?+3] ~FN.-$U*ò]= [IrA5g~3{ƀv? otuuZU[$HchmZZAѤ?Ӳ@\ c$I*GR9vR{|jw a!.P34> I owgWn|Hc譖]ϭ;؊&0kH$%s^iMk}QwF1՚y;Y ֞ˈ^bU:ʧ͂WH&:B rƯ>@`3Ko2XoHp0zVoa^ERn̴#f*or=pjWvl%Su:+$E:Q"OIՍ`\mmh7YSS;)CBdE^I׏jPֻl1_܁u;Ni3PXgŸ\Ć:^ 4JqX}'+]ͶbR_~=~ug(/E*"׶Ii3mْ Xa©Cz7۵,]Z' DOZ9.e.M #GĔvg24Lʡ8LL~5OT ==\0l?10~$3hŹQ9_fiU/r0FzXLĦ$\Qx/%l?8 |~]k;i[ IutJkHU܅xYNl9Qׁi:ƨÏGM|@_b__$w& Ȕ]¾-^A;{_rq1ӳ\?~kC+K-=k,M9pCGIfTΖmQ̹}nt55&m+_>TbT%Ĩ9n:)"p4nA-wz|i@!ɵH<^CW~>V~8NJ* Q}?j Q({(Q"F,m3dX&N5k~g^Wp\1%\|Q,)[r,Tfz@͍SC?DԘe&mZ&:ڟ! n6߅*!9…Z4D c?ΰtqB,"LY @_Nٳe=j 8lb|HSC:jZ@gxUڰf5CiQN78T>]'оS_ǴCENk\:NWϤ)o+V^tpx94KߌKZ?)|5[E]=Rw xMoMBz1k "j6"ppC z7楬𫵄O Qڥ2WR j>[nu50_H }:vSF3bH:J&sSgChf}xqc !3sKT-{r_W*LAܳ?oN*ӿ52xH1 65ɮEM KOjĕ+@)}\N4\XQ]3O`ĊYH`l/ڝ@^6`[R ^`7fz,:Ep0te7|ZvqQ.=eSM;sX Q'C۲Uk7ݟ Z,6 t׼{8BzȢ Z'>y^ݏ =% sk}z=v3Yq!^>7/f#W mH!hڂnp!'b:rf2֠6iREpcp] 1r3r3kpeD2Q+fY w[Võ)OGNx|oU$ ~dK|ɀ:AШ)b7cy)}bBso7pgiFKamC`{GtynP L]G)aثpX牐ڪ#nr轨RōE?9B󹡰+:&Oݎ~+)|}q/{@. ﺖ %EĂx3^F6C2hQs쉈Ij; "ys0pS0fTZq΍ک?l\NF"6Wmtsu^ԗ7"/F>[R &3VW-As!ղ,Xa]~ٻ,LЏBIJ2wN]c U HuQ3 !S{<}ד{bvG)e;cXˬ07Y7Zn6٨+ǫsMrJ;x4EC83ۣ!V}bp^F!vnJz3lQ DrĂX ҽZEyt諾tIm=Z2{֍y[NӝxO0d+$wS? y`li_]u3K.5Q_vVq1`o reqh^ V1gYZ>'lK@p7\pV<0W1I MƎt-uG~n!g>A_~*\>zo n_iV^QXhһ"#3_68>/L*3$Α<, m6Mh vڬkaUpqL+v_ ѧ8sֻ% B7L3?nThI?c UxSBZKʇyZAuY-.̇ShWBSrTˢΰ6L+t+P&7F}L6\2L)nY٘Ty94*#p<=C3d`#5T /kr -ِQÖI`žԠP%༊f=cxÌ,w.{9M@0e-dž,se^|4ߗt}WW?+I9=f `(OQlm%2S@FH_Anm[d'_`Fmq䈽\H |dl(U3lot\v#Q=Ä҇ QEN^6OV}Kdz ̗j`]\`ZFQW 9OZc,[81DmpN*+~ӡMmE`O^7Uu~ax+DfJ-JFMKBD mq2][-0wD2~i2lشуzdy䳱3k؂`Y׼GZ-mE.8(9MEmrB>ͭG'FC ߍ!F B0z銰VbRC?  :ͼ1d:B(TbmyyH *oeِ 2RV͈_|&zH`_Hb 9`叿BmB pWISaѦQ1MX!tnAϡ nP?̲̼GH6&6{كITr7Qi\Q&ߍ|emUza"FGOg_B8X3o^#d<Փk۬{#.LٱjF&a}gVM6I 3ȣ z W|{+@=8 9ABXt,$w%Nսdx_W%f sO];cbU?gFe2!EN?]\|C0+Z|-hj r^tQ[˄;bck/P^T{W=z(jYPJe(¶ ^$Q=QPVsUZ,>-xPH {5Z{v긖žr^Mwv>&YA@MrXݽfjp}Ys}%i38? CixN\N&:43Q@|de)xq`aOayn\MuKP"v;_dQCHZ?SunC;e㍪{#:O vMV1p糱C&= fzKwu5D׏4hk56F\|UfwT_+ P_,if 98i/>О(Spʄ%!Jơ{G+2bR˪B-{N1KxivΏ89_=iT7y"' |_ĩ<{$#R6ƀ&7@1PoVT09LVl 5ҙŕU-W^2)}\~YaPgЧ3 Rl܃˛dbۈxϋnc!_0A\OY}$(T YkF0D£B烇hX.F -BܢU}>ۘ[GjH}tg5P6HP2ԡ6h>rާ5ءglPl_(2PVԅOۼhtRK/Cr0s~gs& oS܅y-R+:]i,U{žqFr;f< u"Tt{įAYCgOj' #Ւ"zZJaA D~dI&w! IO&G7$Nwso%ՖHӓQh)nMۉQ"ȭo y$Xpx]ԃa9i>*DOaQ*闦2;;qQAKko[BĿ#T`^ @~7^G& b@ ml%13I;,}f|⫖ 16Rfw(g M,Tc (qKU |/G4 &rL2-r`; ed R^ko@#QvBf"DijTYǹ@h7ȅ=ձANB=>ZSt޵&󡁰qb5a "9 btNUj}9P+L#,@j+d~ue|X50;b;P ׻OA̅6ݵAsg1*ޝfTc,S ?A80>8ےMMbq:P(#& T5rߧN÷p] J XCmk{GL P>|A 2@@|vNA5.Cqn;j&/qo&Π} F܏0`PHq.gc TZӘ$xhֳMB<;B@S8sPATYq}oE&z~w8rSOe1)$ž]/Z&9 YjzvW=1s^Q|= A4[j߅&k..-y> =iݨZat=TjƧ,l. .&Oan-AUm WaѲvF^R5Rcq1M-kL+/${4Z, v+=}=$궏Q5Kvv廸(+iv@Ml'0@PTz\e0w ~o4HU"3A@e Mw[7cj@HWoh|O,f w֭ aw,Ojy=+ަ唐z۔*Gr!WׁKZ\_:o"* B1? @$h 89^7zizwL,󃉒g˾iO$tAf;f{-c9^q\#Aj(SK6|y9e$6fYޠD53zGDAE,*Pݏ)BE6"}F#>J G>_ Ro1!v|^Zۄ!x՞pCv"3bF-^|+]eS ]0H(Bq=ˆ !5Ԧ5*gu's<6m-z5[a*z lߋ# ه;X~qU='2Z =ub,Dc $:Z%YZA\:T<&;PBd̈́ϛA¶c OKY$cgDtdly!m,AeY6F<2.b\U,3f¤gyUn ԝ*u ǷH9` Vg =ƕ0e7 >N$k ww~+=% Secondary_SylowSecondary_Sylow.SndSylowdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȧ Kг28}uc$3So>)?TDM@L`5믊Lm}Yr%t|`}h y -Qr>ptRrݲ-'y4o[ln:Ϸ@V=UQ2(YI?*p %K3VvJMv>eRtq=oZ ~Ӛd ~O=_qU_j)cv#HC Cxi*9f u1ѸO_5Sv5*Ak`bH/"#|KP>H?d0w%j#!yV:>P@Ϻ862&d#r,7O"e7+ w s7MˁVPC/ݿ{Q]7?P?YqE8m5!"ꑟ!39.GyL<ح#b>W5] 92K 4T9 qHCU,7XfL5?Nl#0 İu[ƲyOte:ͷ>i o\J o;(( y{z'ɶ5= D~lüeb[^+:o$UZog2a[hT7%ci%JDW;<~u'10JrgRoHaȜ&x f6 aNWPJBIjtN{%%H=h1o*P9j{3pRSꑜ۲|uk]5? ! CE@~(bb ۡ(p+h,B=|x *J8H@v (b<8Ib}y]a,d]+͆^vC(g0ް-CAns׎rfE. )u *x):N@Np(<}gb/\O%3.ULίU0,,0*5l L~P[y Ÿ {oDbRi;n-˺V{V1A <հ~SFJ|zGb3#"^̍EXÈ[Q Q 3Z꛷fnsKG3wU%.~4|Ydw5k5k Ο 6^gbeF}mˤu* 7۳y_w}bLG `,D<&8Ϊ hZbآd06,r bSLSF=Ħ u& 6T͍/(OAaNSd7URuKd zCڶ~! \Åtls0Xj!%V߱ T3šT*rz&,g~kF 1~2o^\-w>(Cy옇*Xq:ANᅯYyziM|3E67Lbf{L*H30:]t#C¬Uj;:g_uFR沩715h}&gIuVu[B~hc5qĎ>ZJSVY9"9sǜb!#"2lsgSP8ԋ3K eE;U9L׿;j]aы[dY쟵#^&HU BvuvGxڜ =k'zXƳ_%Ȧ0^5kw6;Tmoc5=3((T25Fwp۟+YJhZ]W|mڠ2o@Y.ӵ/-?'Mjir3Bak"5};W;S}zȻV0w P~˰{Ѐ).4$ 5iڪ,z΃l#Vr7ntPӤg6~F Idh_ oClKf!0ȏO/& €Y3p'{j\!0Gl+1!kKƈ;Z28* f$a( ^<2MUT|/~U[*@2PXf-!#}6$z-g}o~ണah*axh(jMGRǏ==+tBh,ǛhkB`K e$5,QKBO؀Mr-z#9/%ҟQ=ȩYc: =*d00ʕF ks#8^hd~ )U9%>bwYdi[O2a0%z0fok@!1NFgl,Zc|L0IVL-mnp푪YAoma>ZeYv(CMx!ЙZ9ګBŨq1b1)lG'-&d~1sQuT`f\0Ro ;\I{j~ZDGrZ3B2Jqž3m4R]k Rl%ԆWIɿE䧾(;cy|34=?SɌTPHU\Yfǥ#,i "!4 y<7B)(e8?Ǵ O#_QIǓ|٢W?%Tq~ G/\{+*j)eN#yRHWDs hr[R'o#z& 8 ߲ gũ$,}͔SR9V;^Rsv[f [0! u)U6^]:L|vq %;]~c4SykFBxjlVX! қ iX.FmLW.eB% TnT_Da}F ‚XŊ] \ʀwCS#{auJar;:#Et <{[IH*P0,,AJ;~Hxod2dSGN~5&!I&ftK--E 0R"׼8Uۼ9>~`)3 ^~-(kmET3%$!vIKd$-gHwo #Jԅ)W/PQyQZE/eyDhz[P/^ݜ$dEOr&Z}qic] j7HxId+ {9s%M^h++fzV 92!;[.PxVk;YIGN@۾e7|8[.{(e!NЕ}٨ [3 ZEBtjBeie} iܫnE1o {}cxG׳[M-aFD+2(]/r_Tܮ}v\FHVì J+n貇AoI=:FtZU+DSRz]$T2MEV0hv zqiqho?RAPt2J à$,'ۃjfA Ye"< =?67?`aLj`@j,tW3;\-f.gu`>cנ~DGvp31y* 7HrE=p5?W}:ʮ;65ipZX-PǷ¢^, ,UeMwPԥ@oC ^ #Co)vNPs-!mwp+\($t,KuO4m/i"G1E|;<[v36@=DP$J_%~|BRk۪'p5~C~\'^ _ٵNJ cKMx,3$2ˍ~cyz0 oL~oH h$MIxKڋ.:{keF5pjﺇ)'.0JYu.yH=^0KSaO-ׯQ`Nq:d0PSஹ\mC+X΃'Z@M{Uh&9]nhj*I fY(jOcM䗟&鄾>,L7`chq= RIU|td+fϛXt줮7B4{= ΋m;e@7vUggPW0Wv!(гH%QL*Sq[CBWH2OxƌkLE${[RL_Z]GX2˵ёXQ/MXj\oKd-<51Ν7IMk>~9`;n4l'+ɛ4IL0z( # ?ݫ N[E\|w~S wYF^?=16; iSJw#\̲۽FV-} qjaW#pԀLF"yZY+Q5101e߅kN&$Y|CJrތ[_ږmx3pPy`FHZZ}"aݡҕFV^)"d>']5Mʊwv|VvpJ IMfdk5#\݉![iP(n]w-Uϗi)!b,,KϡX|S@3‘&`lRuI[B%Zpu+QgqHj'q~%T*eW1CI=R^cXޑ4oz; X$,ܛW0e#e S'ii+GL <ړq 󶭂#_ۭw'|5d[r-|4A4kD=ͱ?e1@A!'`fKac07T]"mc(oB>&v$mB(T(aY*ؠN=7_FCřM\<`(S5Kwz1c𶴕}$T[9w`gYZ -+S% \Secondary_SylowSecondary_Sylow.SubgroupConjugationdocument.tex7zXZִF! @]A-MՋhvG"uIBm5Ȫ_Å=#V)}ΚOՋ&)D!O0H_d}eA~a-Œ2g9uVz pb$ uX~eaY\Vɷb a_P{q#5O@\n<#Q%NWٖU85JV;4i>*2ݬ2"8٤"an[1#"di'N;=RJW>aHfȄwC0,hXvC{Sa$gfL鈝/n`mG]T bO䬫J؊IˉZ@V'B;meFG>$up-lWtZ.TEVS~OGd / ˂P}ރ"0\{JܕZmXq㕐RA=Ǩf<.01zlC> BGv)&"? -+TJ!SoV %st^o蛭cה/OUthFZ8UkәLm̬ڤzo7 ~J־-|CXry9KA I ;d:IĬpe7x<} chI5~]At r23f ?+[ceHV=̑KߺI1Pm8i!WJ5St4p9 W-$]c걶,To-vƶJ߅P> \¯7᪫I"\ؒ?jܷ=Aq^M ZcHoe,f&V&TT S7_WhDLL$,.nCAގVPYBEԖ~yгe=|PbnI}'D-dzC䨲bON.Kiƪ=5 PA9o9Dnz9 UPoG2N;fYGb3MOom^}<`mcBeP%."G;M`͍77`w s5B #Jj%c mՑ|!G}B⧨TTͳ), ad%{ǭKN_pzD/θj1`0')l{͓&$<`i($3ڗey}HCP#TA{l/oI% 7Y"nJ_&ȜzJoP2מN,Nog'͕k+Z~ɀKoXQV"h"eb_2H@H+peBĢ ŀ+爕㴩fH"kq0,ZC> Kfe%J]Qhny뽱0Y*E1ՏIo(Zv>|Կr Pw` GHXdP)51J_UqZU%y|/%a퐙t'{7gp  + ƒlgSŏ~AVKr%ztbۏ >"z/ބ0XY]#^XEJ|U-l,(un>-sF0q@z}$g#GY6 'gxg^j}9_z~63"٥ip[V̳I&4R~;u`ЏJsN^ZQgѢf̈́aa,n=7)Nc4y?5*;\o*0{oIQF x*EtDdZ:* ˵fM<dp+ډݴPa!Ig.籴0wIAy5?e+5崇yoՅ Pvx>V50vץAV:9P*. k : =0 nA η" 3 7>aS,?-SׯΞJY rzh w"p-8yA<9ileǙM^p`3x"pIJ߸}Tb,huP}|hT{r_U sHm0ɀfgQnČz yɯq@1 s-?lqy&Y9 ԴfU 3`T^Z'ئl)f'`&1Á%Se6)wdŲϢiS^Ƈ3yE.mgWON6hQ s|4 (Ǹ Ry:ءR{,z1