Changeset 0bb2274 in git for Tst/Short/nets.res.gz.uu


Ignore:
Timestamp:
Nov 29, 2019, 11:39:26 AM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd08f5f0bb3329b8ca19f23b74cb1473686415c3a')
Children:
4c740db8a56497af8a13d7d7ef781de902adb671
Parents:
8ae6241a27267554ff8052f72c024a7a4e281d45
Message:
improve liftstd, and tests

need to disable this for modulo, syz and *res (via OPT_REDTAIL_SYZ)
see Tst/BuchDl/Ex_L5.tst (modulo), Tst/New/modulo_homalg_full.tst (syz,nres)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Tst/Short/nets.res.gz.uu

    r8ae6241 r0bb2274  
    11begin 640 nets.res.gz
    2 M'XL("-4K5EH"`VYE=',N<F5S`)U:ZV_;.!+_?`'V?R"*^R!'LBL.23VNZWS8
    3 M6RPN0+-HMX=^*9J%[3A=]YS'.M[6$OK'WPQ)42-+<GJGUGIQ9G[SI(92WOW[
    4 MY\M?A1#R0KR^_$F\V#_M9]O-\L6K'\[>^2&X$'CW]\W]9A]-\#Z=B(L+<;_>
    5 M/\WNUU]G3_O%/E"K"]&RZIF3:DF/Q!I.F,W813X3N\W])[&3<YG*)#HD55)/
    6 MDNTCXRXNQ';SM!>OYU+*1!SB"G>JFM:)J&)5:T9:7HA'E+>/7ISD>$&VG:1H
    7 M),K4&O\:::/7Q/5AF/[C6>!`]_YGL]VB2:UB$I@'I'K>:*D1]Z^[Y7HG%G-A
    8 MV("Q"OUJQZ(%J23.3(N>#:'G'+UHT.=I<NB"EE;V/Q_6M[>;U69]O_\-":,=
    9 M@;Q]&S`@;3!:5I`,`H"%&-0H'J"1&"QQ/P=VT[B;=W-F-616LS>[S=WZS<-7
    10 MM/P^N2.UX+JU'?(!O0JN5\GT4FFCEY@+!6FJ0B!NF(Y*6N36$;_\\KNE_F")
    11 MV[@KZ*,K7B%*#P!&<C:3Z>0(TXQB1G*2'"*@G:*=IIVA74:[G'8%[4K:H62F
    12 M8#:@(,\,58PH:":T+XZU+$]IZ13%(_BC\D?MC\8?,W_,_;%P!C:&.G[P_.#Y
    13 MP?.#YP?/#YY?>7XU:7SE^)7G5YY?>7[E^97GUYY?>WX]:=SM^+7GUYY?>W[M
    14 M^8WG-Y[?>'XS:2+F^(WG-Y[?$'\;,CU0:9I7F@86LC2)%LDR624WW;E$JZ-`
    15 MO7W[P1,R*,W%FED?%],G0.5MK3PQDKR?$?EQG6A>D9I7I$G[J$8>H5(F9IB)
    16 MT?:17'KS.&'$,(A_JF9:O0RO5:,'5#$7'5];NQ+K2%3GYHF$BQO2:O**2<KZ
    17 MSF><#)^7HBD&\,L!?$1>)5\?(TAD0L"!.DM'<%O$C&=2!GW$3#'$*`^V>N2?
    18 M68YE>L#U+ATG/5S>#F39`&Y^A#L9G)HSS*2[S?WCP[9"NL4UQ(M8L>%R*!L6
    19 M'U]&"TO9TRM/F5ZY[.N50T>O:QC3+%<#T-?0`^0UEP_47,YK;K=>;(?1\EZH
    20 MHRS)^O;QRLO+/ER1<OLLGDF'+2QD'].D1'Z,6O#6IU`#J+J'*M-Q8-,'EL/`
    21 M&0?.!X`+#KQZN'O<K@^)2I//(]!E'QJI51^ZY)E4#F12R3.I01["+-7WQ;;D
    22 MJ50.I%+9I-)OG>E;=,`PD?X,:CWM;Z*[Q6%S@Q'!V9/-+64Q/L^+E^+'&K`K
    23 MQL[X0-TQGA^H68:+5MFR55:FZ8Q=]'TET^"KT799IF&F`J11_D%X1(,NNEL\
    24 MBMOY3B:+9;)8)<L5&W:)=;5XC&[))CSY!T**Z11%@T`+!)XMEF>BNZ&)=F#5
    25 M'ZAI8+DZ"Q!M<Y[L@$'GW!\%]P=6*37#"UJFX-;RT,*$1I9SH(T-2#>PFBO<
    26 MV'UP]V_F6FMV&SVWW'S"D;O%7EQ]@(_X?^[;`T;FYO>?-I\N[]%'^^B*?/3R
    27 MI3@_MR:1[_=_K,5R\;2V@;A]V(GM^LMZ*]*S;\)I+ZRJXAO>(-UHT:@U[K\%
    28 M#]'JQGK(*Y!<,158/4L9%HZ,H&A,"?YJ-T96!C+O/+:U9+3*\63.E7QC9#*0
    29 MD6?9`'R78T%U'?ONCX>=]V[C-MIFLYEHM:2KQHMNHSO6EV%KG4K+K#&G`GL6
    30 M2V!+<PGY6.K1FHI[CXV4//>XFU3*LJ^3@,KEZTDG*=?8\=3KYA0P=PB'P!Q`
    31 MR[`Q!R@V<4IEF`-4-N8`6C4-.T`5HPXHQQR@G6N^K%?B?=]T+1O3WZ]7^X==
    32 M]+YC/9G=]P"=]KR@X<@+[QD*:WZEUF.&:S-F.*T.A@W7^:CAQ4G#RZ[AKC#>
    33 M)[JUORF#XY)HS@G.G3="33KN`\/:86G8*PQIGG]A(PWFD>U$%W,XJ$K'*DT/
    34 MU124KH%Y@Q81EFSIR&HVE/FAU=R.&#:4^Z&;N3ED55[+E`T6?G!M1;*!T@_<
    35 MSG5EZJ(=H<4!%MQN<W`UIT+-)>ODEM')YGV:K3FK\52A60K0JL19D#AMD[-&
    36 MM<3/0#2,YQ9;B"#3U;*#;VKY2+*[KH63;&/9"!=,N`C"VPAGJO\"3&:\R#/S
    37 M?#2S[$0TXQH,_C+\Y?@K\%?&M4KC^AK)TN8H_1'\D65!EH]F05:,9D%6GL@"
    38 M6KRP+)B>2L)<CB4&K7"^)S'\`L>1^D=6@NW*433)*VBX.X`[2'=(G<?(<]:#
    39 MN?>HZ6;`T78B(?Z?S7O).JQ-OEY.Y7H@IW+^Y,SQ6?&TWA]W)#EO[/+"3:N?
    40 MV8M-F8=9+OI,S@MO,V7!UA"RD&PZ*G!N\BW'%9=5\%;"5183U]C`GGT%-Z$@
    41 M$YP%5_,7_UILMP\O&*E;8[ZS!$ZV)6GE%P/R>9]?\CZ_Y/:4\'Q!TCJ(%R0;
    42 MT:.U5)K16BJS$[54YB,S:EF,%0XM:;[8YQ0^RSZPFOD8:"!UKV2^=)[C5F?7
    43 MKWUKDYXN?*Z+;K8W9*+A\=G*\A72@4\0D+)U.*1JQB[TL_Z'U(SX']+LR/_3
    44 MGD,AS<<"`6DQ'@A(R^%`@$R[@8C[O+0.>BXB$EA$?(-Q%):VG?XF@F6Q#U0G
    45 M3)RR-SEUPC9$&3=Q;,,H!QYE(-FC#"3K5T%F_"*LC^;=;QLVJ&[=MEO?K&\W
    46 M]VZ]'XU23X+,)E2/\X-&??%7Z^E!356%OUK%\@`Q5#C/P_0PE=6TYGI3*/'R
    47 M0!SQ`2E(`K$2R[2RLD@(,M<-$[B*>8.@D7W1*S`FN&X$ZSZ*#RTB.U=X<88K
    48 M]8.(:8\8`C$$8@B+@5>UB/%0!S=#4RTLW8$7"WW!<G8#I6\='RI%NUKA\P.J
    49 M&O<5V'T-Z`,BD%5]J&3-!-(L1?VR$X`FHYV6VTIS(AJ9)`=W@=<P+X!U@[(M
    50 MD/W7V*]<6W1\CLX@#%'1VPAP%WA.*,(""@LH+&!`S+CY^2R$/<9'^A2#A\]+
    51 MC!?RQ(<:BZ'">_A#D\@N9G7A@NZ&(:9G[(&,0^2I<X$3U-I:'D><F<B/_@RC
    52 MCM)%10%WTH67;NTEZ1CN8)CJ?U`!Q?I^4*SO!Z5Z112^U_')4>FV,"(Y.:>/
    53 M#>?TL2&&<[IQ#?[$CC`^X]P3J`:Y[8W`DO7\P]QRO&''C@*$E4M2G-3FJO5*
    54 MWJ\`57"OE#-NX#58G:Z55?-:3[T!TMWN6'MNOT*V<FFU:^>!<3FC4H(,.>`$
    55 M"(G/YNUCQUA801(%05+N>V>(UB\.*X#UO^L"7RZ##H_/><XGSK^U%";DA\QI
    56 MCM05'\V<1Q052!7NYH.%@%2"J`)9,:`=:[O`A,_<\Y-?<,#(H"0L4)5E-5W5
    57 MBHV#4S.:KB;G.$]'L,"P0!PM)^=!:Z.&TE/Q8%@!6)3$C[8@>VN-T7UKC.'6
    58 M9!UK!M_3`ZV6Q[\+@2FZAE;31<?.LK%ST;$SV)BEIVVTG*V!K769[%N7\0=-
    59 MIF;_RP<)R-IY!ZPAJ"ZDYY\9A9]A[(BU(I9I&D;[DTG[/,5YM::B$)XG,.4#
    60 M5O#)(F/?="%/^87LO;0%6G':3PSBTO6/_JU"[-\J-/V17:K%W:X;_#+TTGZB
    61 MN"0+?G0R?%?F^[3DJ,NRLL+G"."?X8`^P]&?0-$?.OWUA#/"J[__</9?%QKP
    62 %(CHE````
     2M'XL("/7BWUT"`VYE=',N<F5S`)U:6W/;-A9^]Z_`>/:!,BF%.`!XV51^Z'8Z
     3MFYFDDS0[><G$'4J64V7ER\IJ(G+RX_<<``1`@;2SR]8D19S;=R[``9GW__KE
     4MU6^,,7[)7K_ZF9T?'@^+W79U_O+LO1V!2X8/_]C>;0_)[.497=GE);O;'!X7
     5M=YMOB\=#<W#$XI*Y>[DP(C7E4*8*R(J%OR\7;+^]^\SV?,ESGB7'K,VZ6;9[
     6M\*S5)=MM'P_L]9)SGK%CVN))M/,N8VTJ.NDIZTOV@-(.R?F3#.<(ZDF"7B#/
     7M->K72)N\1J:/X^2?SAP#.O7?V]T.X3BK.'CH7#P+ETO4^=?M:K-GS9(I_UQI
     8M6W[30TF#UK`SY147(XK+0''5*U[FV7&@K]9R_W&_N;G9KK>;N\/O2)?L4<&[
     9M=TX^Y+U\QPC<BP?P(04QI0H0&D:'W2W!/U/FV>W20X5"F_1VO[W=O+W_AG#O
     10MLENT!ZX\8"AC@ZK`H-H;)/+>(+9D`O)<.+]?>^,$UTH=^%]__4/3?M2D/L0"
     11M(L4BJ`$A1Y0E?+'@^6RH3TWI2_@L.R9`)T$G22=%IX).)9TJ.M5T0KF!<45L
     12M7)`%HIHP3LWH7)U86#]AH3$2KV"OPEZEO2I[+>RUM-?*@.M!&GZP_&#YP?*#
     13MY0?+#Y9?6'XQZ_UD^(7E%Y9?6'YA^87EEY9?6GXYZUUM^*7EEY9?6GYI^97E
     14M5Y9?67XUZZ-E^)7E5Y9?$;\/EXRK2@95)2$(5YXE3;;*UMGU8+J08ABD=^\^
     15M6K)`C0QDJD6D$I/&J2E];3QZBC+*A/*T+F10?3*H/I5'"A4_44C)5V#R);L'
     16M\N/UP\S3PICJITK$FZ2"NE0R-D-=#MRK`67:>VC*]2.)9M=D46!.$;D[8`M4
     17M!U6GJEAU/:(:E:ZS;P\)9#P+=1;YN$ZOK0B2IH!(6R$";4GI(%JMO_AL*F3L
     18M;9-VLTAGL*(71:RS/-$Y&YMT"TR:V^W=P_VN1;+F"M(F%7ZT'HE]\^E%TFBZ
     19MR*0R]R:5/#*IA(%)5S!A5"EBM5<0*0N*JHR+J@R+:K]I=J.:RM/()D56Q+B"
     20MTBKK2%65A[BT+I6/(JMXI$_E1'RJL0IZEDK$&F6DD>>32E6DE(\K+0*E9:RT
     21M"I6N[V\?=IMC)O+LR[C:.E*+M")66P=94\=94X=9TVL=T5>+'XIE':1-':=-
     22MW:?-[X.YF(6*,&G^XRQZ/%PGM\UQ>XU!P`G1SQIU-3EGLQ?LIPZP><4&]DA-
     23M+-X?J:>%2V]G[>SD>;[P]Y&'>.X\--74\MS-0(`DPBYE0Q)TS&WSP&Z6>YXU
     24MJZQ99ZNU'S5)]*9Y2&X0#%[_CNK8?(YR@:'I#.^:U1D;'HA-#ZSC@8X&5NLS
     25MI\%WT-D>O.(R\$,5^`'KD/K6AK80>#@&VC/0P&H)=/CGW#Q?+P4>_C&8Q]=+
     26M*:5_BOY:;3_CP&US8&\^PB?\?VD7=D]E9NN?MY]?W:%K#LD;=,V+%^SB0B,A
     27M?Q_^W+!5\[C1SK^YW[/=YNMFQ_*S[\S8S;25[#L^(+MH$R<EGK\[Q]#&0SO&
     28MJL_>>`-\Q7+N=G)^N.I1.#?YPU/5CLKZ+#@<%6U`+)7Q8'AX*NZHR*'^.?R(
     29M/T$,_?G^S_N]<6KO+3H6BP7S!M*OWGGFH"?:A>[POJ0=T(0OP:^G'/P.F4,Y
     30MD6BTW0F=Y@?J,-,"[X@\R+4PW83)S:=\(TP?%B3:,(,@\`(SX@/<M$.:P"W\
     31MA,B%\KA%,8&;-C2CN$4UA;N>P"V-0[YNUNQ#A%CR'O&'S?IPOT\^A*`);0R<
     32M;B/P$D[`?_`Z?(?*I9P`+-4$8&K<1P'+<@IP]13@>@C8I/^'3#K<?;*?)GY_
     33M3[K,?2]3Y9/8E6]:N?+O#[AZ]AT)5Y@SNF=LEG`4K4Q%GA_;.0C9@?<"]?>:
     34M:F6H.C]2V)'U4@\H/U+:D>NE.A9MV?'<CU5V;*/E^>>U?7ZSE*WJ*C=`C3O6
     35MU'Y[-&4E7%EEF^S&D_'^M165E39U+A".`$23&=,S8V=VUEN5V;F%AO%>*V;.
     36MAX6I5J/<5NN)8/.[8T:P#E\OFP6RF9/M@UJ(Z&43+X(R+M2S$2R*)R*8=J#P
     37MK\"_$O\J_*O33N1I=X5D>7_E]@KVZB-?E%.1+ZJIR!?U=.1I8Q%$?OY$TI5\
     38M(AEH]_$#R6`W'X;2+D`9MAO#$)(W$+"Y@+EP<\F-I\ACVG.E]:0:AOWD>"(+
     39M_I_#>D@[RV=<E$BEC!.I#-;!$M>`Q\WAI*TH@Y:LK,RD^<6_/N2EF\>2+^@V
     40M]\Z05[[3YQ7W,TZ%LX_M&MX$<JJP'=!%%(CJ+?<+61487I'AQNXWR_-_-KO=
     41M_;DG-+N^]WI<R]4$7G85RPZZ\3KHQNL`10W/5AWM4<*J\P-RJF!J-54P=3%=
     42M,'4Y/E76U41UT';CJUYU<&'Z&!3&IYX$<O,:Y&NX&&MC38OUW6<V_;`)S88I
     43MW9.QGL>F9)"4D,?O\"'W^V'(Q<+?R^=\#KD:]SGDQ8G/YZ=NA+R<<#[DU:3S
     44M(:]'G0\\'SH_C3AIC_),%#@$4;`=PC`4ONO]SARDU`9G$)J0,IIU!J$:HTS[
     45MV/G0\7AA`NX7)N"^OP1>!/=N[[(<?A^@.)H-U7YSO;G9WIEM=S)%/',2^_@\
     46M+(\2+<6_3LZ/8BY:_.M$RH^00HM3-\R/<][.N\!BBM_+LR/1IT<<)WYB)(9Y
     47MJR61"&3M>AXPQ?$652;T]I1A*'`S!]IK%!;:V0U^X8\SW#4?64IG5,%0!4,5
     48M3*O`7QU+\=(Y[T)?&#ZY(:@+^NYC(`-E:Y<>6T&G3N!J`&V'YQ;TN0.$3P2\
     49M[8XM[[PXFH:POS7LB!8A:EXMRPCH)9(4/#E6%3@`R`-"MS#ZOQZZ,&W-Z3WZ
     50M@52PEEX*@/F!]Z2$:7U,ZV-:GU-8!-#+A8MVBHOS'*.&*Q\&"EG28X?9W^(S
     51M_$-`A,HCKG2LS2"DM%8>"1BJG1OX1HS'69\$.H`77NT=!AN%LY;B;(0S*UQC
     52M)>$890=*1!\D0/@V'81OTT&(J&;<9ZY@^A/2%T+"9Q?TUOZ"WMJG<$$/KL#>
     53MZ!'/IK1?',THKW[@.(I3QP3^.#VPRT9^IL62$".T_^7=4489+ZK`'?4BQ'8%
     54MVJ`KH6V\DG-K/3>/!T`O](<[)Y4VHE3RTU(F93@1/,8/+M&#F?G4)UHK(X&,
     55M-%*N6S\P[Q*CRNF*OH%"L),%Z5;%93FV)$KE<H*7-`]*OTC1GA8I!15#ZQZ6
     56M8TF/1(R('%456^7[)E#N,_#RJ6\@H+BS#AHT8]7.UYWPPZ`-3.;KV05.P@DT
     57M&`A(D]7LPMFKQ$@NBM#]FA]+C]@1!7)['$I&.)0*<!0#'&,OOX&VL9/?54!5
     58M0X3MO`D!UA9@,P#HP!7YD^`THT?F814\@E4$RT<A%O_#ZWTH_+P"&@*:"OG%
     59M%T]@9A#]7-N?\CQW@]%DX=='G#`[RGQF61Q/&=L?3`:%_^8)91[<\]/WHD!;
     60M0?W"GKTRK9_=Y*=VD]]W.'H7E0X:9;#[PU?Z??\K-/TG(\%V5;;/RDZZ)"W)
     61AO=R'X-L5T+<K^M<^](]Z_GK$<G_YM[/_`G?J$=LC)```
    6362`
    6463end
Note: See TracChangeset for help on using the changeset viewer.