revolt.txt: Republican Spain lacks national provinces

[DerStudti]

When releasing Republican Spain (for example after a successful D-Day), its national provinces don't even include all regions of its mainland.

AoD 1.04:

SPA = {
	date = { day = 1 month = january year = 1936 }
	expirydate = { day = 30 month = december year = 1954 }
	minimum = {
	334 333 340 330 329 339 338 347
	}
	extra = { 348 331 332 341 342 343 346 349 350 351 352 353 354 355 356 357 536 954 955 957 961 962 963
	964 965 535 537 967 971 972 1091 }
	capital = 333 # Burgos
}

SPR = {
	date = { day = 1 month = january year = 1934 }
	expirydate = { day = 30 month = december year = 1990 }
	minimum = { 341 }
	extra = { 348 357 329 356 330 331 535 536 537 961 962 963 964 965 338 339 342 343 352 353 }
	capital = 341 # Madrid
}

Armageddon:

SPA = {
   date = { day = 1 month = january year = 1936 }
   expirydate = { day = 30 month = december year = 2199 }
   minimum = {
   334 333 340 330 329 339 338 347
   }
   extra = { 348 331 332 341 342 343 346 349 350 351 352 353 354 355 356 357 536 954 955 957 961 962 963
   964 965 535 537 967 971 972 1091 }
   capital = 333 # Burgos
}

SPR = {
   date = { day = 1 month = january year = 1936 }
   expirydate = { day = 30 month = december year = 2199 }
   minimum = { 332 333 334 338 339 340 341 342 343 346 347 349 350 351 352 353 354 355  }
   extra = { 348 357 329 356 330 331 535 536 537 961 962 963 964 965 }
   capital = 341 # Madrid
}

Seems like there has been a mistake in converting the revolt.txt. If this is intentional, i tend to doubt it's really historically acurate.