This project is a demonstrator tool, made by the MOISE project, that translates timed Altarica models into Fiacre models. Such translation allows to use model checkers such as Tina to prove properties. The project contains the translator tool.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

344 lines
6.2 KiB

6 years ago
/* XPM */
static const char * document_build_model_24_xpm[] = {
"24 24 316 2",
" c None",
". c #76C454",
"+ c #80C66B",
"@ c #55B03B",
"# c #74CA3D",
"$ c #9EDD70",
"% c #A6E178",
"& c #A8E07E",
"* c #98D675",
"= c #64B945",
"- c #178E00",
"; c #41AE12",
"> c #7DD040",
", c #97E24B",
"' c #A0EB48",
") c #A4EE48",
"! c #9EE848",
"~ c #8FDD48",
"{ c #7FCE4C",
"] c #57B439",
"^ c #128907",
"/ c #44B309",
"( c #68C820",
"_ c #7BDA1B",
": c #91F10E",
"< c #A7FC23",
"[ c #ADFE2E",
"} c #A2FA1B",
"| c #88E90F",
"1 c #72D31C",
"2 c #58BB23",
"3 c #27990E",
"4 c #047200",
"5 c #45B700",
"6 c #96E14C",
"7 c #A1F038",
"8 c #B4FD41",
"9 c #BDFF54",
"0 c #C8FF72",
"a c #BAFF4B",
"b c #AFF941",
"c c #85DD2E",
"d c #55BD15",
"e c #209701",
"f c #046C00",
"g c #3DB000",
"h c #79D42A",
"i c #AAF052",
"j c #BBFD54",
"k c #DFFFAB",
"l c #E9FFC7",
"m c #CCFD80",
"n c #9EEF36",
"o c #7FD730",
"p c #43B308",
"q c #199200",
"r c #016A00",
"s c #2FA400",
"t c #50BE05",
"u c #80DB28",
"v c #ADF158",
"w c #B6F758",
"x c #BFF47A",
"y c #ABEC61",
"z c #92DD4D",
"A c #5AC311",
"B c #30A400",
"C c #0D8800",
"D c #006800",
"E c #1A9200",
"F c #35A900",
"G c #51BE04",
"H c #80D538",
"I c #9ADF5A",
"J c #A6E36D",
"K c #9ADD66",
"L c #6AC431",
"M c #38A909",
"N c #017E00",
"O c #078100",
"P c #2A9A13",
"Q c #5AB733",
"R c #76C946",
"S c #92D863",
"T c #A1DD75",
"U c #8CD35F",
"V c #62BD37",
"W c #3EA523",
"X c #12880B",
"Y c #007D00",
"Z c #0D753E",
"` c #3F82DF",
" . c #3573D6",
".. c #FFB458",
"+. c #8CA545",
"@. c #329829",
"#. c #65B853",
"$. c #81C864",
"%. c #96D476",
"&. c #A0D883",
"*. c #87CC67",
"=. c #6EBE53",
"-. c #4EAA3A",
";. c #1D8D12",
">. c #2B994F",
",. c #6BC0D0",
"'. c #9CD9FE",
"). c #96D0FA",
"!. c #5AA2EC",
"~. c #2377DB",
"{. c #FEC729",
"]. c #FECB50",
"^. c #FFCD63",
"/. c #FFCD68",
"(. c #FECB67",
"_. c #D5BC55",
":. c #54A237",
"<. c #91CD81",
"[. c #A6D698",
"}. c #A9D79E",
"|. c #9BD28B",
"1. c #78BF60",
"2. c #35A04D",
"3. c #59C3CD",
"4. c #6DD4F6",
"5. c #73DAFF",
"6. c #71D7FF",
"7. c #70D4FF",
"8. c #6CCCFE",
"9. c #5FB4F6",
"0. c #2B7BDD",
"a. c #FFDB3F",
"b. c #FEDF3F",
"c. c #FFDD44",
"d. c #FFDA45",
"e. c #FED644",
"f. c #FFD443",
"g. c #F2CA3B",
"h. c #68A52A",
"i. c #A6D49E",
"j. c #B4D9AC",
"k. c #67B35C",
"l. c #25B190",
"m. c #3ECBFF",
"n. c #49D8FF",
"o. c #4DE0FE",
"p. c #4FE4FF",
"q. c #4FE1FF",
"r. c #4ADAFF",
"s. c #47CEFE",
"t. c #43C2FF",
"u. c #37A8F6",
"v. c #208CE3",
"w. c #FFD946",
"x. c #FFEE61",
"y. c #FFF554",
"z. c #FFF43C",
"A. c #FFF030",
"B. c #FEED30",
"C. c #FFEA4A",
"D. c #FFE74F",
"E. c #9FC22F",
"F. c #A2B727",
"G. c #9CBC4B",
"H. c #3DE2CD",
"I. c #5DE9E5",
"J. c #57ECFF",
"K. c #45F3FF",
"L. c #40F6FF",
"M. c #3BF4FF",
"N. c #49ECFF",
"O. c #51E1FF",
"P. c #4AD8FE",
"Q. c #39CDFF",
"R. c #21ACEF",
"S. c #FFD43D",
"T. c #FFE96D",
"U. c #FFF472",
"V. c #FFFC76",
"W. c #FFFE72",
"X. c #FFFE8C",
"Y. c #FEF668",
"Z. c #FFEF64",
"`. c #EBDF3B",
" + c #E5C91A",
".+ c #A7BA4B",
"++ c #31D3C7",
"@+ c #6DEAE0",
"#+ c #71F6FF",
"$+ c #8CFCFF",
"%+ c #9BFDFE",
"&+ c #A4FDFF",
"*+ c #71F7FF",
"=+ c #61EBFE",
"-+ c #4BDAFF",
";+ c #28C0FF",
">+ c #1D9FEB",
",+ c #FFCA29",
"'+ c #FFDD45",
")+ c #FFED71",
"!+ c #FFF37B",
"~+ c #FFF9BC",
"{+ c #FFF065",
"]+ c #FFEE81",
"^+ c #FFE857",
"/+ c #E9D426",
"(+ c #E3C119",
"_+ c #A5B14A",
":+ c #1EC0C7",
"<+ c #43D6E0",
"[+ c #75EAFF",
"}+ c #83F2FF",
"|+ c #ABF5FE",
"1+ c #76EEFD",
"2+ c #82E8FD",
"3+ c #5EDEFE",
"4+ c #2FC6FF",
"5+ c #24B2FE",
"6+ c #1989E1",
"7+ c #FFBF23",
"8+ c #FFCE28",
"9+ c #FFDC47",
"0+ c #FFE469",
"a+ c #FFE586",
"b+ c #FFDD7A",
"c+ c #FFD86B",
"d+ c #FFCE38",
"e+ c #E7C620",
"f+ c #E2B716",
"g+ c #A3A347",
"h+ c #16ACC7",
"i+ c #26BDE0",
"j+ c #45CFFF",
"k+ c #73DDFE",
"l+ c #6FD9FC",
"m+ c #8CDAFA",
"n+ c #6ECCF8",
"o+ c #39B9F8",
"p+ c #23B1FD",
"q+ c #1C98F5",
"r+ c #1266CD",
"s+ c #FFB322",
"t+ c #FEC73D",
"u+ c #FFD255",
"v+ c #FFD96B",
"w+ c #FFE38D",
"x+ c #FFD463",
"y+ c #FFC843",
"z+ c #E6B526",
"A+ c #E0A713",
"B+ c #9E8C3F",
"C+ c #1086B9",
"D+ c #31ABDE",
"E+ c #4EC1FF",
"F+ c #69CFFE",
"G+ c #80D7FE",
"H+ c #84D8FE",
"I+ c #63CAFE",
"J+ c #3FB1FB",
"K+ c #2890EC",
"L+ c #1369D8",
"M+ c #0A3EB6",
"N+ c #F9AE33",
"O+ c #FFCB5B",
"P+ c #FED56F",
"Q+ c #FFDB7C",
"R+ c #FFE396",
"S+ c #FFDD82",
"T+ c #FED56E",
"U+ c #E5B736",
"V+ c #D99E17",
"W+ c #936E2A",
"X+ c #1A65A3",
"Y+ c #4C9ED1",
"Z+ c #69BDF8",
"`+ c #77C9FB",
" @ c #8CD4FD",
".@ c #85D0FC",
"+@ c #69BEF7",
"@@ c #54A8EF",
"#@ c #3983E1",
"$@ c #174AC3",
"%@ c #031894",
"&@ c #E4A13A",
"*@ c #FFD275",
"=@ c #FFE29A",
"-@ c #FEE4A3",
";@ c #FFDF94",
">@ c #FFDB86",
",@ c #FFC056",
"'@ c #BC8C24",
")@ c #76520A",
"!@ c #2D5CAA",
"~@ c #71A4E6",
"{@ c #92C5F0",
"]@ c #9CCAF1",
"^@ c #90C3EF",
"/@ c #82B8EC",
"(@ c #5586D9",
"_@ c #254AAB",
":@ c #06166C",
"<@ c #B77523",
"[@ c #FFCA80",
"}@ c #FFEABD",
"|@ c #FFDB9C",
"1@ c #DE993D",
"2@ c #112489",
"3@ c #758AD5",
"4@ c #C0D4F0",
"5@ c #A4BAE8",
"6@ c #3D51B4",
"7@ c #0A1658",
"8@ c #EC9B50",
"9@ c #8E4500",
"0@ c #454CAF",
"a@ c #070A69",
" ",
" . + @ ",
" # $ % & * = - ",
" ; > , ' ) ! ~ { ] ^ ",
" / ( _ : < [ } | 1 2 3 4 ",
" 5 6 7 8 9 0 a b c d e f ",
" g h i j k l m n o p q r ",
" s t u v w x y z A B C D ",
" E F G H I J K L M q N D ",
" O P Q R S T U V W X Y Z ` . ",
" ..+.@.#.$.%.&.*.=.-.;.>.,.'.).!.~. ",
" {.].^./.(._.:.<.[.}.|.1.2.3.4.5.6.7.8.9.0. ",
" a.b.c.d.e.f.g.h.i.j.k.l.m.n.o.p.q.r.s.t.u.v. ",
" w.x.y.z.A.B.C.D.E.F.G.H.I.J.K.L.M.N.O.P.Q.R. ",
" S.T.U.V.W.X.Y.Z.`. +.+++@+#+$+%+&+*+=+-+;+>+ ",
" ,+'+)+!+~+{+]+^+/+(+_+:+<+[+}+|+1+2+3+4+5+6+ ",
" 7+8+9+0+a+b+c+d+e+f+g+h+i+j+k+l+m+n+o+p+q+r+ ",
" s+t+u+v+w+b+x+y+z+A+B+C+D+E+F+G+H+I+J+K+L+M+ ",
" N+O+P+Q+R+S+T+O+U+V+W+X+Y+Z+`+ @.@+@@@#@$@%@ ",
" &@*@=@-@;@>@,@'@)@ !@~@{@]@^@/@(@_@:@ ",
" <@[@}@|@1@ 2@3@4@5@6@7@ ",
" 8@9@ 0@a@ ",
" ",
" "};