被执行标的包括人民币1.37亿元、逾期利息、迟延履行期间的债务利息、执行费。北京一中院将按照实际执行到位案款10%的比例向提供线索者支付赏金。　　“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　10月16日，吉林省党政代表团到上海市学习考察，吉林省与上海市召开合作交流座谈会。隔天，吉林省—上海市招商引智座谈会召开。　　担任主任的郭振华此前担任全国人大常委会副秘书长，副主任傅文杰、孔玲（女）此前分别为全国人大常委会办公厅联络局局长、最高人民法院赔偿办主任。　　2016年1月，蓝佛安升任广东省副省长，2017年3月跨省份调任海南省委常委、省纪委书记，2021年4月再度跨省份调任山西省委副书记，2021年6月任山西省委副书记、省长。