背景 Background
HYH从来不相信世界上有NPC问题的存在，于是最近开始研究神奇的逻辑电路问题……
描述 Description
HYH逻辑电路是HYH最新发明的新型逻辑电路。
这个电路由三大元件组成，“And”（和）元件，“Or”（或）元件，“Xor”（异或）元件。每个元件都有两个元件通过电路向它输入信号，元件进行相应的处理后输出到下一个元件上，如图：
（红点为元件，蓝线为电路）
其中，信号只有两种：0和1，每个元件对信号进行的操作与普通逻辑运行规则相同：
And：和，相同信号输出1，其他情况输出0.
Or：或，两个信号中至少有一个1输出1，其他情况输出0。
Xor：异或，两个信号相同输出0，否则输出1。
HYH逻辑电路是一个设计好的逻辑电路，由用户输入一些信号，经过囧囧，啊不是，种种处理，就能在唯一的输出端上得到一个信号。可是，大部分用户发现，HYH逻辑电路无法对他们的信号得到他们想要的结果（？），于是准备投诉HYH。HYH很怕，所以他决定篡改最少数量的初始信号（越多越容易被发现嘛），使输出端信号改变。HYH的标程不用说又是萝莉控语言的，请您帮他设计出一个能在普通电脑上运行的程序。
输入格式 Input Format
首先第一行是两个数N和M，表示有N个元件，其中M个元件没有输入信号。元件被编号为1~N。
接下来的N行，第i行表示i号元件的情况，以x y z a表示输入信号的是x和y号元件，输出信号到z号元件，元件的种类是a。假设没有输入或者没有输出的元件则以0表示。
种类以1-3表示，1表示And，2表示Or，3表示Xor。
再接下来是M行，每行以x、y表示一个无输入信号的元件x的初始信号为y。不用检验数据正确与否，信号保证只有0、1两种可能。
输出格式 Output Format
输出只有一行，表示改变输出端信号最少要改变多少个初始元件。
样例输入 Sample Input
7 4
2 3 0 3
4 5 1 2
6 7 1 1
0 0 2 3
0 0 2 3
0 0 3 3
0 0 3 3
4 0
5 1
6 1
7 0
样例输出 Sample Output
1
时间限制 Time Limitation
每个测试点1秒.
注释 Hint
对于30%的数据，1<=N<=2^4-1
对于100%的数据，1<=N<=2^17-1
背景 Background
HYH同学喜欢数学，尤其是几何学。最近，他开始了关于线段距离的研究……
描述 Description
HYH第一类平面是一个无穷大的平面，另外HYH同学在平面上作出两条线段AB和CD。
HYH同学发现，两条线段可能相交，也可能不相交。HYH同学觉得好神奇哦！所以他想要知道，两条线段的距离是多少。
线段AB和CD的距离定义为，线段AB上的点P和线段CD上的点Q（均可与线段端点重合）的连线PQ长度的最小值。
现在给定两条线段的端点坐标，要求计算线段的距离。
输入格式 Input Format
输入只有四行，每行两个整数（在[-100..100]内），分别表示点A、B、C、D的坐标。
输出格式 Output Format
输出只有一个四位小数，表示线段AB和CD的距离。
样例输入 Sample Input
0 5
0 4
-1 0
1 0
样例输出 Sample Output
4.0000
时间限制 Time Limitation
每个测试点1秒.