Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Markus Klinik
c2-planning-scheduling-paper
Commits
a9b7fac2
Commit
a9b7fac2
authored
May 07, 2019
by
Markus Klinik
Browse files
rename skill s1 -> C
parent
a0684f87
Changes
9
Hide whitespace changes
Inline
Side-by-side
conflict1.pdf
View file @
a9b7fac2
No preview for this file type
conflict1.pdf_tex
View file @
a9b7fac2
...
...
@@ -60,37 +60,37 @@
\put(-0.00103902,0.03050786){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}r5\end{tabular}}}}%
\put(-0.00103902,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}r6\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=1]{conflict1.pdf}}%
\put(0.07999747,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t1 (
s1
)\end{tabular}}}}%
\put(0.07999747,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t1 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=2]{conflict1.pdf}}%
\put(0.
15626711,0.00667359
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t2 (
s1
)\end{tabular}}}}%
\put(0.
07999747,0.03050786
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t2 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=3]{conflict1.pdf}}%
\put(0.
23253675
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t3 (
s1
)\end{tabular}}}}%
\put(0.
15626711
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t3 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=4]{conflict1.pdf}}%
\put(0.
30880639,0.00667359
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t4 (
s1
)\end{tabular}}}}%
\put(0.
15626711,0.03050786
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t4 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=5]{conflict1.pdf}}%
\put(0.
07999747,0.03050786
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t5 (
s1
)\end{tabular}}}}%
\put(0.
23253675,0.00667359
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t5 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=6]{conflict1.pdf}}%
\put(0.3
8507603
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t6 (
s1
)\end{tabular}}}}%
\put(0.3
0880639
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t6 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=7]{conflict1.pdf}}%
\put(0.
15626711,0.03050786
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t7 (
s1
)\end{tabular}}}}%
\put(0.
38507603,0.00667359
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t7 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=8]{conflict1.pdf}}%
\put(0.
23253
67
5
,0.0
3050786
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t8 (
s1
)\end{tabular}}}}%
\put(0.
461345
67,0.0
0667359
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t8 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=9]{conflict1.pdf}}%
\put(0.
46134567
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t9 (
s1
)\end{tabular}}}}%
\put(0.
53761531
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t9 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=10]{conflict1.pdf}}%
\put(0.
53761531,0.00667359
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t10 (
s1
)\end{tabular}}}}%
\put(0.
23253675,0.03050786
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t10 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=11]{conflict1.pdf}}%
\put(0.61388495,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t11 (
s1
)\end{tabular}}}}%
\put(0.61388495,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t11 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=12]{conflict1.pdf}}%
\put(0.
30880639,0.03050786
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t12 (
s1
)\end{tabular}}}}%
\put(0.
69015459,0.00667359
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t12 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=13]{conflict1.pdf}}%
\put(0.
69015459
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t13 (
s1
)\end{tabular}}}}%
\put(0.
76642423
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t13 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=14]{conflict1.pdf}}%
\put(0.
76642423
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t14 (
s1
)\end{tabular}}}}%
\put(0.
84269387
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t14 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=15]{conflict1.pdf}}%
\put(0.
84269387
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t15 (
s1
)\end{tabular}}}}%
\put(0.
91896351
,0.00667359){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t15 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=16]{conflict1.pdf}}%
\put(0.
91896351,0.00667359
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t16 (
s1
)\end{tabular}}}}%
\put(0.
30880639,0.03050786
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t16 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=17]{conflict1.pdf}}%
\put(0.0723705,0.16302636){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}0\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=18]{conflict1.pdf}}%
...
...
conflict1.svg
View file @
a9b7fac2
<svg
width=
"1055"
height=
"200"
><text
x=
"5px"
y=
"64px"
>
r1
</text><text
x=
"5px"
y=
"89px"
>
r2
</text><text
x=
"5px"
y=
"114px"
>
r3
</text><text
x=
"5px"
y=
"139px"
>
r4
</text><text
x=
"5px"
y=
"164px"
>
r5
</text><text
x=
"5px"
y=
"189px"
>
r6
</text><g><title>
t1
s1
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"175px"
></rect><text
x=
"90px"
y=
"189px"
>
t1 (
s1
)
</text></g><g><title>
t2
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(118,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"1
7
5px"
></rect><text
x=
"
17
0px"
y=
"1
89
px"
>
t2 (
s1
)
</text></g><g><title>
t3
s1
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(203,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"175px"
></rect><text
x=
"
25
0px"
y=
"189px"
>
t3 (
s1
)
</text></g><g><title>
t4
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,231)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
32
5px"
y=
"1
7
5px"
></rect><text
x=
"
33
0px"
y=
"1
89
px"
>
t4 (
s1
)
</text></g><g><title>
t5
s1
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,259,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"15
0
px"
></rect><text
x=
"
9
0px"
y=
"1
64
px"
>
t5 (
s1
)
</text></g><g><title>
t6
s1
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(288,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
40
5px"
y=
"175px"
></rect><text
x=
"
41
0px"
y=
"189px"
>
t6 (
s1
)
</text></g><g><title>
t7
s1
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(170,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"15
0
px"
></rect><text
x=
"1
7
0px"
y=
"1
64
px"
>
t7 (
s1
)
</text></g><g><title>
t8
s1
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,142)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
2
45px"
y=
"15
0
px"
></rect><text
x=
"
25
0px"
y=
"1
64
px"
>
t8 (
s1
)
</text></g><g><title>
t9
s1
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,276)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
48
5px"
y=
"175px"
></rect><text
x=
"
49
0px"
y=
"189px"
>
t9 (
s1
)
</text></g><g><title>
t10
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,207,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
56
5px"
y=
"1
7
5px"
></rect><text
x=
"5
7
0px"
y=
"1
89
px"
>
t10 (
s1
)
</text></g><g><title>
t11
s1
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(235,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"645px"
y=
"175px"
></rect><text
x=
"650px"
y=
"189px"
>
t11 (
s1
)
</text></g><g><title>
t12
s1
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,264)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
3
25px"
y=
"15
0
px"
></rect><text
x=
"
3
30px"
y=
"1
64
px"
>
t12 (
s1
)
</text></g><g><title>
t13
s1
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,194)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
72
5px"
y=
"175px"
></rect><text
x=
"
73
0px"
y=
"189px"
>
t13 (
s1
)
</text></g><g><title>
t14
s1
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,166,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"8
0
5px"
y=
"175px"
></rect><text
x=
"8
1
0px"
y=
"189px"
>
t14 (
s1
)
</text></g><g><title>
t15
s1
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(138,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
88
5px"
y=
"175px"
></rect><text
x=
"
8
90px"
y=
"189px"
>
t15 (
s1
)
</text></g><g><title>
t16
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,109)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
96
5px"
y=
"1
7
5px"
></rect><text
x=
"
97
0px"
y=
"1
89
px"
>
t16 (
s1
)
</text></g><line
x1=
"85px"
y1=
"35px"
x2=
"1055px"
y2=
"35px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><g><line
x1=
"85px"
y1=
"30px"
x2=
"85px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"82px"
y=
"25px"
>
0
</text></g><g><line
x1=
"185px"
y1=
"30px"
x2=
"185px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"182px"
y=
"25px"
>
10
</text></g><g><line
x1=
"285px"
y1=
"30px"
x2=
"285px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"282px"
y=
"25px"
>
20
</text></g><g><line
x1=
"385px"
y1=
"30px"
x2=
"385px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"382px"
y=
"25px"
>
30
</text></g><g><line
x1=
"485px"
y1=
"30px"
x2=
"485px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"482px"
y=
"25px"
>
40
</text></g><g><line
x1=
"585px"
y1=
"30px"
x2=
"585px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"582px"
y=
"25px"
>
50
</text></g><g><line
x1=
"685px"
y1=
"30px"
x2=
"685px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"682px"
y=
"25px"
>
60
</text></g><g><line
x1=
"785px"
y1=
"30px"
x2=
"785px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"782px"
y=
"25px"
>
70
</text></g><g><line
x1=
"885px"
y1=
"30px"
x2=
"885px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"882px"
y=
"25px"
>
80
</text></g><g><line
x1=
"985px"
y1=
"30px"
x2=
"985px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"982px"
y=
"25px"
>
90
</text></g></svg>
C
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"175px"
></rect><text
x=
"90px"
y=
"189px"
>
t1 (
C
)
</text></g><g><title>
t2
C
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(118,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"15
0
px"
></rect><text
x=
"
9
0px"
y=
"1
64
px"
>
t2 (
C
)
</text></g><g><title>
t3
C
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(203,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"175px"
></rect><text
x=
"
17
0px"
y=
"189px"
>
t3 (
C
)
</text></g><g><title>
t4
C
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,231)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"15
0
px"
></rect><text
x=
"
17
0px"
y=
"1
64
px"
>
t4 (
C
)
</text></g><g><title>
t5
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,259,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"1
7
5px"
></rect><text
x=
"
25
0px"
y=
"1
89
px"
>
t5 (
C
)
</text></g><g><title>
t6
C
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(288,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
32
5px"
y=
"175px"
></rect><text
x=
"
33
0px"
y=
"189px"
>
t6 (
C
)
</text></g><g><title>
t7
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(170,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
40
5px"
y=
"1
7
5px"
></rect><text
x=
"
4
10px"
y=
"1
89
px"
>
t7 (
C
)
</text></g><g><title>
t8
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,142)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"4
8
5px"
y=
"1
7
5px"
></rect><text
x=
"
49
0px"
y=
"1
89
px"
>
t8 (
C
)
</text></g><g><title>
t9
C
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,276)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
56
5px"
y=
"175px"
></rect><text
x=
"
57
0px"
y=
"189px"
>
t9 (
C
)
</text></g><g><title>
t10
C
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,207,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"15
0
px"
></rect><text
x=
"
2
50px"
y=
"1
64
px"
>
t10 (
C
)
</text></g><g><title>
t11
C
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(235,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"645px"
y=
"175px"
></rect><text
x=
"650px"
y=
"189px"
>
t11 (
C
)
</text></g><g><title>
t12
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,264)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
7
25px"
y=
"1
7
5px"
></rect><text
x=
"
7
30px"
y=
"1
89
px"
>
t12 (
C
)
</text></g><g><title>
t13
C
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,194)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
80
5px"
y=
"175px"
></rect><text
x=
"
81
0px"
y=
"189px"
>
t13 (
C
)
</text></g><g><title>
t14
C
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,166,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"8
8
5px"
y=
"175px"
></rect><text
x=
"8
9
0px"
y=
"189px"
>
t14 (
C
)
</text></g><g><title>
t15
C
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(138,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
96
5px"
y=
"175px"
></rect><text
x=
"9
7
0px"
y=
"189px"
>
t15 (
C
)
</text></g><g><title>
t16
C
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,109)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
32
5px"
y=
"15
0
px"
></rect><text
x=
"
33
0px"
y=
"1
64
px"
>
t16 (
C
)
</text></g><line
x1=
"85px"
y1=
"35px"
x2=
"1055px"
y2=
"35px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><g><line
x1=
"85px"
y1=
"30px"
x2=
"85px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"82px"
y=
"25px"
>
0
</text></g><g><line
x1=
"185px"
y1=
"30px"
x2=
"185px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"182px"
y=
"25px"
>
10
</text></g><g><line
x1=
"285px"
y1=
"30px"
x2=
"285px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"282px"
y=
"25px"
>
20
</text></g><g><line
x1=
"385px"
y1=
"30px"
x2=
"385px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"382px"
y=
"25px"
>
30
</text></g><g><line
x1=
"485px"
y1=
"30px"
x2=
"485px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"482px"
y=
"25px"
>
40
</text></g><g><line
x1=
"585px"
y1=
"30px"
x2=
"585px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"582px"
y=
"25px"
>
50
</text></g><g><line
x1=
"685px"
y1=
"30px"
x2=
"685px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"682px"
y=
"25px"
>
60
</text></g><g><line
x1=
"785px"
y1=
"30px"
x2=
"785px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"782px"
y=
"25px"
>
70
</text></g><g><line
x1=
"885px"
y1=
"30px"
x2=
"885px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"882px"
y=
"25px"
>
80
</text></g><g><line
x1=
"985px"
y1=
"30px"
x2=
"985px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"982px"
y=
"25px"
>
90
</text></g></svg>
conflict15.pdf
View file @
a9b7fac2
No preview for this file type
conflict15.pdf_tex
View file @
a9b7fac2
...
...
@@ -60,37 +60,37 @@
\put(-0.0033135,0.09729101){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}r5\end{tabular}}}}%
\put(-0.0033135,0.02128241){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}r6\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=1]{conflict15.pdf}}%
\put(0.25511573,0.
2493082
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t1 (
s1
)\end{tabular}}}}%
\put(0.25511573,0.
3253168
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t1 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=2]{conflict15.pdf}}%
\put(0.49834325,0.
2493082
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t2 (
s1
)\end{tabular}}}}%
\put(0.49834325,0.
3253168
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t2 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=3]{conflict15.pdf}}%
\put(0.
74157077,0.2493082
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t3 (
s1
)\end{tabular}}}}%
\put(0.
25511573,0.09729101
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t3 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=4]{conflict15.pdf}}%
\put(0.
25511573,0.1732996
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t4 (
s1
)\end{tabular}}}}%
\put(0.
49834325,0.09729101
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t4 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=5]{conflict15.pdf}}%
\put(0.
49834325,0.1732996
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t5 (
s1
)\end{tabular}}}}%
\put(0.
25511573,0.02128241
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t5 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=6]{conflict15.pdf}}%
\put(0.25511573,0.
3253168
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t6 (
s1
)\end{tabular}}}}%
\put(0.25511573,0.
2493082
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t6 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=7]{conflict15.pdf}}%
\put(0.
25511573,0.4013254
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t7 (
s1
)\end{tabular}}}}%
\put(0.
49834325,0.02128241
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t7 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=8]{conflict15.pdf}}%
\put(0.25511573,0.
02128241
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t8 (
s1
)\end{tabular}}}}%
\put(0.25511573,0.
1732996
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t8 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=9]{conflict15.pdf}}%
\put(0.49834325,0.
3253168
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t9 (
s1
)\end{tabular}}}}%
\put(0.49834325,0.
2493082
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t9 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=10]{conflict15.pdf}}%
\put(0.
49834325,0.02128241
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t10 (
s1
)\end{tabular}}}}%
\put(0.
74157077,0.2493082
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t10 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=11]{conflict15.pdf}}%
\put(0.
25511573,0.09729101
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t11 (
s1
)\end{tabular}}}}%
\put(0.
49834325,0.1732996
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t11 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=12]{conflict15.pdf}}%
\put(0.
49834325,0.09729101
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t12 (
s1
)\end{tabular}}}}%
\put(0.
74157077,0.3253168
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t12 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=13]{conflict15.pdf}}%
\put(0.
74157077,0.1732996
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t13 (
s1
)\end{tabular}}}}%
\put(0.
25511573,0.4013254
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t13 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=14]{conflict15.pdf}}%
\put(0.74157077,0.09729101){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t14 (
s1
)\end{tabular}}}}%
\put(0.74157077,0.09729101){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t14 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=15]{conflict15.pdf}}%
\put(0.74157077,0.02128241){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t15 (
s1
)\end{tabular}}}}%
\put(0.74157077,0.02128241){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t15 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=16]{conflict15.pdf}}%
\put(0.74157077,0.
3253168
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t16 (
s1
)\end{tabular}}}}%
\put(0.74157077,0.
1732996
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t16 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=17]{conflict15.pdf}}%
\put(0.23079298,0.51989881){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}0\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=18]{conflict15.pdf}}%
...
...
conflict15.svg
View file @
a9b7fac2
<svg
width=
"335"
height=
"200"
><text
x=
"5px"
y=
"64px"
>
r1
</text><text
x=
"5px"
y=
"89px"
>
r2
</text><text
x=
"5px"
y=
"114px"
>
r3
</text><text
x=
"5px"
y=
"139px"
>
r4
</text><text
x=
"5px"
y=
"164px"
>
r5
</text><text
x=
"5px"
y=
"189px"
>
r6
</text><g><title>
t1
s1
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"
100
px"
></rect><text
x=
"90px"
y=
"
114
px"
>
t1 (
s1
)
</text></g><g><title>
t2
s1
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(118,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"165px"
y=
"
100
px"
></rect><text
x=
"170px"
y=
"
114
px"
>
t2 (
s1
)
</text></g><g><title>
t3
s1
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(203,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"1
0
0px"
></rect><text
x=
"
25
0px"
y=
"1
1
4px"
>
t3 (
s1
)
</text></g><g><title>
t4
s1
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,231)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"1
2
5px"
></rect><text
x=
"
9
0px"
y=
"1
39
px"
>
t4 (
s1
)
</text></g><g><title>
t5
s1
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,259,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"1
2
5px"
></rect><text
x=
"
17
0px"
y=
"1
3
9px"
>
t5 (
s1
)
</text></g><g><title>
t6
s1
=r
2
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(288,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"
75
px"
></rect><text
x=
"90px"
y=
"
89
px"
>
t6 (
s1
)
</text></g><g><title>
t7
s1
=r
1
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(170,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"5
0
px"
></rect><text
x=
"
9
0px"
y=
"
64
px"
>
t7 (
s1
)
</text></g><g><title>
t8
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,142)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"1
7
5px"
></rect><text
x=
"90px"
y=
"1
8
9px"
>
t8 (
s1
)
</text></g><g><title>
t9
s1
=r
2
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,276)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"165px"
y=
"
75
px"
></rect><text
x=
"170px"
y=
"
89
px"
>
t9 (
s1
)
</text></g><g><title>
t10
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,207,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"1
75
px"
></rect><text
x=
"
17
0px"
y=
"1
89
px"
>
t10 (
s1
)
</text></g><g><title>
t11
s1
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(235,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"15
0
px"
></rect><text
x=
"
9
0px"
y=
"1
64
px"
>
t11 (
s1
)
</text></g><g><title>
t12
s1
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,264)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"
150
px"
></rect><text
x=
"
17
0px"
y=
"
164
px"
>
t12 (
s1
)
</text></g><g><title>
t13
s1
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,194)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"
12
5px"
></rect><text
x=
"
25
0px"
y=
"
139
px"
>
t13 (
s1
)
</text></g><g><title>
t14
s1
=r5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,166,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"245px"
y=
"150px"
></rect><text
x=
"250px"
y=
"164px"
>
t14 (
s1
)
</text></g><g><title>
t15
s1
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(138,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"245px"
y=
"175px"
></rect><text
x=
"250px"
y=
"189px"
>
t15 (
s1
)
</text></g><g><title>
t16
s1
=r
2
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,109)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"245px"
y=
"
7
5px"
></rect><text
x=
"250px"
y=
"
8
9px"
>
t16 (
s1
)
</text></g><line
x1=
"85px"
y1=
"35px"
x2=
"335px"
y2=
"35px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><g><line
x1=
"85px"
y1=
"30px"
x2=
"85px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"82px"
y=
"25px"
>
0
</text></g><g><line
x1=
"185px"
y1=
"30px"
x2=
"185px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"182px"
y=
"25px"
>
10
</text></g><g><line
x1=
"285px"
y1=
"30px"
x2=
"285px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"282px"
y=
"25px"
>
20
</text></g></svg>
C
=r
2
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"
75
px"
></rect><text
x=
"90px"
y=
"
89
px"
>
t1 (
C
)
</text></g><g><title>
t2
C
=r
2
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(118,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"165px"
y=
"
75
px"
></rect><text
x=
"170px"
y=
"
89
px"
>
t2 (
C
)
</text></g><g><title>
t3
C
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(203,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"1
5
0px"
></rect><text
x=
"
9
0px"
y=
"1
6
4px"
>
t3 (
C
)
</text></g><g><title>
t4
C
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,231)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"15
0
px"
></rect><text
x=
"
17
0px"
y=
"1
64
px"
>
t4 (
C
)
</text></g><g><title>
t5
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,259,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"1
7
5px"
></rect><text
x=
"
9
0px"
y=
"1
8
9px"
>
t5 (
C
)
</text></g><g><title>
t6
C
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(288,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"
100
px"
></rect><text
x=
"90px"
y=
"
114
px"
>
t6 (
C
)
</text></g><g><title>
t7
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(170,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"
17
5px"
></rect><text
x=
"
17
0px"
y=
"
189
px"
>
t7 (
C
)
</text></g><g><title>
t8
C
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,142)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"1
2
5px"
></rect><text
x=
"90px"
y=
"1
3
9px"
>
t8 (
C
)
</text></g><g><title>
t9
C
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,276)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"165px"
y=
"
100
px"
></rect><text
x=
"170px"
y=
"
114
px"
>
t9 (
C
)
</text></g><g><title>
t10
C
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,207,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"1
00
px"
></rect><text
x=
"
25
0px"
y=
"1
14
px"
>
t10 (
C
)
</text></g><g><title>
t11
C
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(235,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"1
2
5px"
></rect><text
x=
"
17
0px"
y=
"1
39
px"
>
t11 (
C
)
</text></g><g><title>
t12
C
=r
2
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,264)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"
75
px"
></rect><text
x=
"
25
0px"
y=
"
89
px"
>
t12 (
C
)
</text></g><g><title>
t13
C
=r
1
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,194)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"5
0
px"
></rect><text
x=
"
9
0px"
y=
"
64
px"
>
t13 (
C
)
</text></g><g><title>
t14
C
=r5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,166,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"245px"
y=
"150px"
></rect><text
x=
"250px"
y=
"164px"
>
t14 (
C
)
</text></g><g><title>
t15
C
=r6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(138,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"245px"
y=
"175px"
></rect><text
x=
"250px"
y=
"189px"
>
t15 (
C
)
</text></g><g><title>
t16
C
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,109)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"245px"
y=
"
12
5px"
></rect><text
x=
"250px"
y=
"
13
9px"
>
t16 (
C
)
</text></g><line
x1=
"85px"
y1=
"35px"
x2=
"335px"
y2=
"35px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><g><line
x1=
"85px"
y1=
"30px"
x2=
"85px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"82px"
y=
"25px"
>
0
</text></g><g><line
x1=
"185px"
y1=
"30px"
x2=
"185px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"182px"
y=
"25px"
>
10
</text></g><g><line
x1=
"285px"
y1=
"30px"
x2=
"285px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"282px"
y=
"25px"
>
20
</text></g></svg>
conflict7.pdf
View file @
a9b7fac2
No preview for this file type
conflict7.pdf_tex
View file @
a9b7fac2
...
...
@@ -60,37 +60,37 @@
\put(-0.00266524,0.0782568){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}r5\end{tabular}}}}%
\put(-0.00266524,0.01711867){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}r6\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=1]{conflict7.pdf}}%
\put(0.20520438,0.
13939492
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t1 (
s1
)\end{tabular}}}}%
\put(0.20520438,0.
01711867
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t1 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=2]{conflict7.pdf}}%
\put(0.20520438,0.0
1711867
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t2 (
s1
)\end{tabular}}}}%
\put(0.20520438,0.0
782568
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t2 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=3]{conflict7.pdf}}%
\put(0.
40084638,0.01711867
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t3 (
s1
)\end{tabular}}}}%
\put(0.
20520438,0.20053305
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t3 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=4]{conflict7.pdf}}%
\put(0.
20520438,0.0782568
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t4 (
s1
)\end{tabular}}}}%
\put(0.
40084638,0.01711867
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t4 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=5]{conflict7.pdf}}%
\put(0.
205204
38,0.20053305){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t5 (
s1
)\end{tabular}}}}%
\put(0.
400846
38,0.20053305){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t5 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=6]{conflict7.pdf}}%
\put(0.
400846
38,0.13939492){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t6 (
s1
)\end{tabular}}}}%
\put(0.
205204
38,0.13939492){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t6 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=7]{conflict7.pdf}}%
\put(0.59648838,0.
13939492
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t7 (
s1
)\end{tabular}}}}%
\put(0.59648838,0.
20053305
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t7 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=8]{conflict7.pdf}}%
\put(0.
59648838,0.01711867
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t8 (
s1
)\end{tabular}}}}%
\put(0.
40084638,0.0782568
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t8 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=9]{conflict7.pdf}}%
\put(0.
79213038,0.01711867
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t9 (
s1
)\end{tabular}}}}%
\put(0.
59648838,0.0782568
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t9 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=10]{conflict7.pdf}}%
\put(0.
40084638,0.20053305
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t10 (
s1
)\end{tabular}}}}%
\put(0.
59648838,0.01711867
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t10 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=11]{conflict7.pdf}}%
\put(0.
40084638,0.0782568
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t11 (
s1
)\end{tabular}}}}%
\put(0.
79213038,0.01711867
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t11 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=12]{conflict7.pdf}}%
\put(0.
79213038,0.13939492
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t12 (
s1
)\end{tabular}}}}%
\put(0.
20520438,0.26167117
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t12 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=13]{conflict7.pdf}}%
\put(0.
59648838,0.20053305
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t13 (
s1
)\end{tabular}}}}%
\put(0.
40084638,0.13939492
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t13 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=14]{conflict7.pdf}}%
\put(0.
596488
38,0.0782568){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t14 (
s1
)\end{tabular}}}}%
\put(0.
792130
38,0.0782568){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t14 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=15]{conflict7.pdf}}%
\put(0.
79213038,0.0782568
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t15 (
s1
)\end{tabular}}}}%
\put(0.
59648838,0.13939492
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t15 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=16]{conflict7.pdf}}%
\put(0.79213038,0.
20053305
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t16 (
s1
)\end{tabular}}}}%
\put(0.79213038,0.
13939492
){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}t16 (
C
)\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=17]{conflict7.pdf}}%
\put(0.18564018,0.41818477){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}0\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=18]{conflict7.pdf}}%
...
...
conflict7.svg
View file @
a9b7fac2
<svg
width=
"415"
height=
"200"
><text
x=
"5px"
y=
"64px"
>
r1
</text><text
x=
"5px"
y=
"89px"
>
r2
</text><text
x=
"5px"
y=
"114px"
>
r3
</text><text
x=
"5px"
y=
"139px"
>
r4
</text><text
x=
"5px"
y=
"164px"
>
r5
</text><text
x=
"5px"
y=
"189px"
>
r6
</text><g><title>
t1
s1
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"1
2
5px"
></rect><text
x=
"90px"
y=
"1
3
9px"
>
t1 (
s1
)
</text></g><g><title>
t2
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(118,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"1
7
5px"
></rect><text
x=
"90px"
y=
"1
89
px"
>
t2 (
s1
)
</text></g><g><title>
t3
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(203,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"1
75
px"
></rect><text
x=
"
17
0px"
y=
"1
89
px"
>
t3 (
s1
)
</text></g><g><title>
t4
s1
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,231)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"15
0
px"
></rect><text
x=
"
9
0px"
y=
"1
64
px"
>
t4 (
s1
)
</text></g><g><title>
t5
s1
=r3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,259,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"100px"
></rect><text
x=
"
9
0px"
y=
"114px"
>
t5 (
s1
)
</text></g><g><title>
t6
s1
=r4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(288,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"125px"
></rect><text
x=
"
17
0px"
y=
"139px"
>
t6 (
s1
)
</text></g><g><title>
t7
s1
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(170,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"245px"
y=
"1
25
px"
></rect><text
x=
"250px"
y=
"1
39
px"
>
t7 (
s1
)
</text></g><g><title>
t8
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,142)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"1
7
5px"
></rect><text
x=
"
25
0px"
y=
"1
89
px"
>
t8 (
s1
)
</text></g><g><title>
t9
s1
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,276)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
3
25px"
y=
"1
7
5px"
></rect><text
x=
"
33
0px"
y=
"1
89
px"
>
t9 (
s1
)
</text></g><g><title>
t10
s1
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,207,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"1
00
px"
></rect><text
x=
"
17
0px"
y=
"1
14
px"
>
t10 (
s1
)
</text></g><g><title>
t11
s1
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(235,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"15
0
px"
></rect><text
x=
"
17
0px"
y=
"1
64
px"
>
t11 (
s1
)
</text></g><g><title>
t12
s1
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,264)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
32
5px"
y=
"
12
5px"
></rect><text
x=
"
33
0px"
y=
"
13
9px"
>
t12 (
s1
)
</text></g><g><title>
t13
s1
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,194)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"1
00
px"
></rect><text
x=
"
25
0px"
y=
"1
14
px"
>
t13 (
s1
)
</text></g><g><title>
t14
s1
=r5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,166,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"2
4
5px"
y=
"150px"
></rect><text
x=
"
25
0px"
y=
"164px"
>
t14 (
s1
)
</text></g><g><title>
t15
s1
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(138,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
3
25px"
y=
"15
0
px"
></rect><text
x=
"
33
0px"
y=
"1
64
px"
>
t15 (
s1
)
</text></g><g><title>
t16
s1
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,109)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"325px"
y=
"1
00
px"
></rect><text
x=
"330px"
y=
"1
14
px"
>
t16 (
s1
)
</text></g><line
x1=
"85px"
y1=
"35px"
x2=
"415px"
y2=
"35px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><g><line
x1=
"85px"
y1=
"30px"
x2=
"85px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"82px"
y=
"25px"
>
0
</text></g><g><line
x1=
"185px"
y1=
"30px"
x2=
"185px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"182px"
y=
"25px"
>
10
</text></g><g><line
x1=
"285px"
y1=
"30px"
x2=
"285px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"282px"
y=
"25px"
>
20
</text></g><g><line
x1=
"385px"
y1=
"30px"
x2=
"385px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"382px"
y=
"25px"
>
30
</text></g></svg>
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"1
7
5px"
></rect><text
x=
"90px"
y=
"1
8
9px"
>
t1 (
C
)
</text></g><g><title>
t2
C
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(118,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"85px"
y=
"15
0
px"
></rect><text
x=
"90px"
y=
"1
64
px"
>
t2 (
C
)
</text></g><g><title>
t3
C
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(203,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"1
00
px"
></rect><text
x=
"
9
0px"
y=
"1
14
px"
>
t3 (
C
)
</text></g><g><title>
t4
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,231)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"1
7
5px"
></rect><text
x=
"
17
0px"
y=
"1
89
px"
>
t4 (
C
)
</text></g><g><title>
t5
C
=r3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,259,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"100px"
></rect><text
x=
"
17
0px"
y=
"114px"
>
t5 (
C
)
</text></g><g><title>
t6
C
=r4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(288,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"125px"
></rect><text
x=
"
9
0px"
y=
"139px"
>
t6 (
C
)
</text></g><g><title>
t7
C
=r
3
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(170,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"245px"
y=
"1
00
px"
></rect><text
x=
"250px"
y=
"1
14
px"
>
t7 (
C
)
</text></g><g><title>
t8
C
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,142)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"15
0
px"
></rect><text
x=
"
17
0px"
y=
"1
64
px"
>
t8 (
C
)
</text></g><g><title>
t9
C
=r
5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,276)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"2
4
5px"
y=
"15
0
px"
></rect><text
x=
"
25
0px"
y=
"1
64
px"
>
t9 (
C
)
</text></g><g><title>
t10
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,207,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
24
5px"
y=
"1
75
px"
></rect><text
x=
"
25
0px"
y=
"1
89
px"
>
t10 (
C
)
</text></g><g><title>
t11
C
=r
6
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(235,243,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
32
5px"
y=
"1
7
5px"
></rect><text
x=
"
33
0px"
y=
"1
89
px"
>
t11 (
C
)
</text></g><g><title>
t12
C
=r
2
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,146,264)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
8
5px"
y=
"
7
5px"
></rect><text
x=
"
9
0px"
y=
"
8
9px"
>
t12 (
C
)
</text></g><g><title>
t13
C
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,194)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
16
5px"
y=
"1
25
px"
></rect><text
x=
"
17
0px"
y=
"1
39
px"
>
t13 (
C
)
</text></g><g><title>
t14
C
=r5
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(243,166,146)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"
3
25px"
y=
"150px"
></rect><text
x=
"
33
0px"
y=
"164px"
>
t14 (
C
)
</text></g><g><title>
t15
C
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(138,146,243)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"2
4
5px"
y=
"1
2
5px"
></rect><text
x=
"
25
0px"
y=
"1
39
px"
>
t15 (
C
)
</text></g><g><title>
t16
C
=r
4
</title><rect
width=
"80"
height=
"20"
fill=
"rgb(146,243,109)"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
x=
"325px"
y=
"1
25
px"
></rect><text
x=
"330px"
y=
"1
39
px"
>
t16 (
C
)
</text></g><line
x1=
"85px"
y1=
"35px"
x2=
"415px"
y2=
"35px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><g><line
x1=
"85px"
y1=
"30px"
x2=
"85px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"82px"
y=
"25px"
>
0
</text></g><g><line
x1=
"185px"
y1=
"30px"
x2=
"185px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"182px"
y=
"25px"
>
10
</text></g><g><line
x1=
"285px"
y1=
"30px"
x2=
"285px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"282px"
y=
"25px"
>
20
</text></g><g><line
x1=
"385px"
y1=
"30px"
x2=
"385px"
y2=
"40px"
stroke=
"rgb(0,0,0)"
stroke-width=
"2px"
></line><text
x=
"382px"
y=
"25px"
>
30
</text></g></svg>
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment
