正始四年十月、十一月，月再犯井钺。是月，司马懿讨诸葛恪，恪弃城走。五年三月，曹爽征蜀。正始五年十一月癸巳，镇星犯亢距星。占曰“诸侯有失国者”嘉平元年，曹爽兄弟诛。
正始六年八月戊午，彗星见七星，长二尺，色白，进至张，积二十三日灭。七年十一月癸亥，又见轸，长一尺，积百五十六日灭。九年三月，又见昴，长六尺，色青白，芒西南指。七月，又见翼，长二尺，进至轸，积四十二日灭。按占，“七星、张，周分野，翼、轸为楚，昴为赵、魏，彗所以除旧布新，主兵丧也”嘉平元年，司马懿诛曹爽兄弟及其党与，皆夷族，京师严兵，实始剪魏。三年，诛楚王彪，又袭王凌于淮南。淮南，东楚也。幽魏诸王于邺。
正始七年七月丁丑，月犯左角。占曰“天下有兵，将军死”九年正月辛亥，月犯亢南星。占曰“兵起”一曰“军将死”七月乙亥，荧惑犯毕距星。占曰“有边兵”一曰“刑罚用”嘉平元年，曹爽等诛。三年，王凌等又诛。
正始四年十月、十一月，月再犯井钺。是月，司马懿讨诸葛恪，恪弃城走。五年三月，曹爽征蜀。正始五年十一月癸巳，镇星犯亢距星。占曰“诸侯有失国者”嘉平元年，曹爽兄弟诛。
正始六年八月戊午，彗星见七星，长二尺，色白，进至张，积二十三日灭。七年十一月癸亥，又见轸，长一尺，积百五十六日灭。九年三月，又见昴，长六尺，色青白，芒西南指。七月，又见翼，长二尺，进至轸，积四十二日灭。按占，“七星、张，周分野，翼、轸为楚，昴为赵、魏，彗所以除旧布新，主兵丧也”。嘉平元年，司马懿诛曹爽兄弟及其党与，皆夷族，京师严兵，实始剪魏。三年，诛楚王彪，又袭王凌于淮南。淮南，东楚也。幽魏诸王于邺。
正始七年七月丁丑，月犯左角。占曰“天下有兵，将军死”九年正月辛亥，月犯亢南星。占曰“兵起”一曰“军将死”七月乙亥，荧惑犯毕距星。占曰“有边兵”一曰“刑罚用”嘉平元年，曹爽等诛。三年，王凌等又诛。{ 《志第十三 天文一》出自文学作品《宋书》，其内容如下：言天者有三家，一曰宣夜，二曰盖天，三曰浑天，而天之正体，经无前说，马《书》、班《志》，又阙其文。
宋书·卷二十三志第十三天文一-文帝元嘉十三年，诏太史令钱乐之更铸浑仪，径六尺八分少，周一丈八尺二寸六分少，地在天内，立黄赤二道，南北二极规二十八宿，北斗极星，五分为一度，置日月五星于黄道之上，置立漏刻，以水转仪，昏明中星，与天
《宋书》卷二十三志第十三天文一-言天者有三家，一曰宣夜，二曰盖天，三曰浑天，而天之正体，经无前说，马《书》、班《志》，又阙其文。
言天者有三家，一曰宣夜，二曰盖天，三曰浑天，而天之正体，经无前说，马《书》、班《志》，又阙其文。
《春秋》星孛北方，则齐、鲁、晋、郑、陈、宋、莒之君，并受杀乱之祸。 星孛东方，则楚灭陈，三家、田氏分篡齐、晋。 汉文帝末，星孛西方，后吴、楚七国诛灭。 案泰始末至太康初，灾异数见，而晋氏隆盛，吴实灭，天变在吴可知矣。 昔汉三年，星孛大角，项籍以亡，汉氏无事，此项氏主命故也。 吴、晋之时，天下横分，大角孛而吴亡，是与项氏同事。 后学皆以咸宁灾为晋室，非也。 晋武帝咸宁四年四月，蚩尤旗见。 案《星传》，蚩尤旗类彗，而后曲象旗。 汉武帝时见，长竟天。}#ifndef FIX_HEADER_TAGS
#include
#define FIX_HEADER_TAGS
#include “header.h”
#endif
// This is the header file for a program called FIX_HeaderTag.
// The header contains the definitions and constants necessary to implement the FIX_HeaderTag class.
// It includes all necessary functions and variables that are used in the program.
// The header also includes the definitions of classes, structures, and other types
// necessary to create an instance of the FIX_HeaderTag class and use its methods and properties.
// The rest of the code goes here…
#include <cstdio>
#include "header.h" // This is the header file where all the definitions and constants for the FIX_HeaderTag class are located.
#include "some_other_header.h" // Some additional required header files.
int main() {
FIX_HeaderTag tag; // Declare an instance of the FIX_HeaderTag class.
// Use the tag object as needed.
return 0;
}