From cdbf3ed0890fd48f3720e958fefe6fa55eaa7592 Mon Sep 17 00:00:00 2001
From: Redo <A509DCFC@cock.li>
Date: Fri, 4 Nov 2022 13:10:10 -0600
Subject: [PATCH] make gates use cdata for critical logic

---
 sim/compile.lua      | 109 ++++++++++++++++++++++++++++++++++++-------
 sim/compiled_sim.bat |   2 +
 sim/compiled_sim.c   |  78 +++++++++++++++++++++++++++++--
 sim/compiled_sim.dll | Bin 0 -> 39180 bytes
 sim/gate.lua         |  46 +++++++++++-------
 sim/gatedef.lua      |  34 ++++++++++----
 sim/group.lua        |   2 +-
 sim/network.lua      |   9 ++--
 sim/port.lua         |   2 +-
 sim/simulation.lua   |  12 ++---
 10 files changed, 232 insertions(+), 62 deletions(-)
 create mode 100644 sim/compiled_sim.bat
 create mode 100644 sim/compiled_sim.dll

diff --git a/sim/compile.lua b/sim/compile.lua
index db4930e..b69d83a 100644
--- a/sim/compile.lua
+++ b/sim/compile.lua
@@ -3,47 +3,122 @@ local ffi = FFI or require("ffi")
 Simulation = Simulation or {}
 
 ffi.cdef[[
-	
+	struct Net {
+		int in_queue;
+		int num_out_ports_on;
+		int state;
+		int update_tick;
+		struct Gate* gates_update[0];
+	};
+	struct OutPort {
+		struct Net* net;
+		int state;
+	};
+	struct Gate {
+		int in_queue;
+		struct OutPort out_ports[0];
+	};
 ]]
 
+function Simulation.compile_code(sim, text)
+	-- todo: compile some kind of DSL into machine code
+	
+	return code, size
+end
+
+local net_program_code = Simulation.compile_code( [[
+	
+]] )
+
 function Simulation.compile(sim)
+	sim.compilation = {
+		gates = {},
+		wires = {},
+		cgates = {},
+		cwires = {},
+	}
+	local comp = sim.compilation
+	
 	-- assemble a list of all nets
-	local all_nets = {}
 	local all_nets_t = {}
 	for k, wire in pairs(sim.wires) do
 		local net = Wire.getgroup(wire)
 		all_nets_t[net] = net
 	end
-	local num_nets = 0
+	local all_nets = {}
 	for net_id, net in pairs(all_nets_t) do
-		table.insert(all_nets, net)
+		table.insert(comp.nets, net)
+		local cdata = ffi.new("char["..(ffi.sizeof("struct Net") + ffi.sizeof("struct Gate*")*net.num_gates_update).."]")
+		local cnet = ffi.cast(cdata, "struct Net")
+		comp.cnets[net] = cnet
 	end
 	
 	-- assemble a list of all gates
 	local all_gates = {}
 	for k, gate in pairs(sim.gates) do
-		table.insert(all_gates, gate)
+		table.insert(comp.gates, gate)
+		local cdata = ffi.new("char["..(ffi.sizeof("struct Gate") + ffi.sizeof("struct OutPort")*gate.num_ports_out).."]")
+		local cgate = ffi.cast(cdata, "struct Gate")
+		comp.cgates[gate] = cgate
 	end
 	
-	-- construct each gate into an array
-	
-	-- construct array of all nets
-	local c_nets = ffi.new("struct Net["..(#all_nets).."]")
-	for net_idx, net in ipairs(all_nets) do
-		local c_net = ffi.new("struct Net", #net.gates_update)
-		
-		for gate_idx, gate in ipairs(net.gates_update) do
-			
+	for netidx, net in ipairs(comp.nets) do
+		local cnet = comp.cnets[net] or error("no cnet")
+		cnet.in_queue = net.in_queue
+		cnet.num_out_ports_on = net.state_num
+		cnet.state = net.state
+		cnet.update_tick = net.update_tick
+		for i = 1, net.num_gates_update do
+			local gate = net.gates_update[i]
+			local cgate = comp.cgates[gate] or error("no cgate")
+			cnet.gates_update[i-1] = cgate
+		end
+	end
+	
+	for gateidx, gate in ipairs(comp.gates) do
+		local cgate = comp.cgates[gate] or error("no cgate")
+		cgate.in_queue = gate.in_queue
+		local j = 0
+		for i, port in ipairs(gate.ports) do
+			if port.type == PortTypes.output then
+				local net = port.group
+				if net then
+					local cnet = comp.cnets[net] or error("no cnet")
+					cgate.out_ports[j].net = cnet
+				else
+					cgate.out_ports[j].net = 0
+				end
+				cgate.out_ports[j].state = gate.port_states[i] or error("no gate port_state")
+				j = j + 1
+			end
 		end
-		
-		c_nets[net_idx] = c_net
 	end
 end
 
 function Simulation.decompile(sim)
+	local comp = sim.compilation
 	
+	for netidx, net in ipairs(comp.nets) do
+		local cnet = comp.cnets[net] or error("no cnet")
+		net.in_queue = cnet.in_queue
+		net.state_num = cnet.num_out_ports_on
+		net.state = cnet.state
+		net.update_tick = cnet.update_tick
+	end
+	
+	for gateidx, gate in ipairs(comp.gates) do
+		local cgate = comp.cgates[gate] or error("no cgate")
+		gate.in_queue = cgate.in_queue
+		local j = 0
+		for i, port in ipairs(gate.ports) do
+			if port.type == PortTypes.output then
+				gate.port_states[i] = cgate.out_ports[j].state
+				j = j + 1
+			end
+		end
+	end
 end
 
-function Simulation.tick_compiled(sim)
+function Simulation.tick_compiled(sim, count)
 	
 end
diff --git a/sim/compiled_sim.bat b/sim/compiled_sim.bat
new file mode 100644
index 0000000..576c50a
--- /dev/null
+++ b/sim/compiled_sim.bat
@@ -0,0 +1,2 @@
+gcc compiled_sim.c -shared -o compiled_sim.dll -Wall -Werror
+pause
diff --git a/sim/compiled_sim.c b/sim/compiled_sim.c
index 442f766..da809c4 100644
--- a/sim/compiled_sim.c
+++ b/sim/compiled_sim.c
@@ -1,7 +1,75 @@
 
 void sim_init(int num_gates, int num_nets);
-void sim_add_gate();
-void sim_add_net();
-void sim_tick();
-void sim_get_net_state(int objref);
-void sim_get_port_state(int objref, int index);
+void sim_add_gate(int gateid, int logic_func_id, char* logic_func_name, int num_out_ports, char* data);
+void sim_add_net(int netid, int num_gates_update);
+void sim_connect_out_port(int gateid, int index, int netid);
+void sim_connect_in_port(int gateid, int index, int netid);
+void sim_tick(int count);
+void sim_get_net_state(int netid);
+void sim_get_port_state(int gateid, int index);
+void sim_set_net_state(int netid);
+void sim_set_port_state(int gateid, int index);
+void sim_delete_net(int netid);
+void sim_delete_gate(int gateid);
+
+////////
+
+void sim_create(unsigned int datalen, char* text);
+
+#include <stdlib.h>
+#include <assert.h>
+
+typedef unsigned int uint;
+typedef unsigned long long u64;
+
+void sim_copy_logic_function(
+	char** prog,
+	char* in_queue,
+	char* out_port_states,
+	int logic_func,
+	char** port_in_net_states,
+	char** port_out_net_inqueue,
+	char** port_out_net_update_func,
+	int num_ports_in,
+	int num_ports_out
+) {
+	// todo: indata = inport net state pointers, outport net in queue pointers, outport net update function pointers
+}
+
+void sim_compile_gate(char** prog, char** data, int** idat, u64* indata) {
+	int num_ports_in  = *(indata++);
+	int num_ports_out = *(indata++);
+	int in_queue      = *(indata++);
+	int logic_func    = *(indata++);
+	
+	char* port_in_net_states[256];
+	sim_copy_logic_function( // copy logic function into program
+		prog,
+		*data,
+		(*data)+1,
+		logic_func,
+		&indata,
+		num_ports_in,
+		num_ports_out
+	);
+	
+	*(*data++) = in_queue; // alloc bool for in queue
+	for(int i=0; i<num_ports_out; i++) { // alloc bool for each output state
+		*((*data)++) = *(indata++);
+	}
+}
+
+void sim_compile_net_function(char** prog, char* in_queue, int* gates, u64** indata, int num_gates_update) {
+	
+}
+
+void sim_compile_net(char** prog, char** data, int** idat, u64* indata) {
+	int num_gates_update = *(indata++);
+	int num_ports_on     = *(indata++);
+	int in_queue         = *(indata++);
+	
+	sim_compile_net_function(prog, *data, *idat, &indata, num_gates_update);
+	
+	*((*data)++) = in_queue;
+	*((*idat)++) = num_ports_on;
+}
diff --git a/sim/compiled_sim.dll b/sim/compiled_sim.dll
new file mode 100644
index 0000000000000000000000000000000000000000..7a562338f9e0f4aaedf98a8b3b1292971c84ae75
GIT binary patch
literal 39180
zcmeHw4SXBbmG6}$+lr#Zc48+^NQe>?2sCjdNAXAEB$jR27WhM0a=r*mWLvgHWZCE=
zaRS{sINqWa-u1q=`{<+F!ou&B?Y6u9V1bry>)@0?zcvN7u!Ut)O7}T+plM;V>5_-v
z|J*yH(MV1TY<Bl;mr2Gm_kYhl=iGD8J@?L?(M;>!38rU^8L-dJGWG<HwAJ#zm;W<@
z?1ihov5-AF?+2@&(6#(vwXZ)IwG2fD`y&1UOSeB99*kMK0+vWTYzc-f4eegbz+g|H
zY{3GPRc7sRG1j6hVCz58)6I4=_76FXoo0Ef=j(E=W=lYHEp{k3vKYrg>^AJo*UQgA
zOM2_D(~)l$q>y;*fR5LTF^eci1*kkWe%R00*C;W>*ehg!OKlG@_5umG#AdE#taOgN
zN$@>32d+S6vA}Q)2}23~kU~_~R3&hZZ9ntuFYEEg{5W4nfDJq9%$8F^-D;U_vMeG9
z_mQr(*okfh_OuOjwPjt=C_!JOI(yPG(@sa&{>id{;KyyWADP7O>NFypa(+QU$8Cr@
z^Ez0v=qAhRJA8z$r#~auiJujF+Q#b<3vvC7gil~6I`V<EP1H9K8tj(a<^g099XFCn
z2)eqB4w0^+!<VrW-3^pbw^~+Px6xkBflsZ%VG_FqJ69G*d8=iGbsIO?dCE<8K8>CD
zwO~)%IGtlNN7hmPIqcN7Z5&Gd;dGlTd7A4-o=o%|DH49d>rrXr=l9XyLYa<Rl*9ZF
z@l#Xp?QHbyijxK_^Z0tFf3%3P(Gx4C#vh}i<KMiF4!d@GN6!`}8?4r`$#^7LVg}{d
zbHBH1^cOn&?6=4W369My5yil48m={4a&E}iJ9^fTxNxrEE1MtoqSRz!Dt`LGM{qiN
zA*bNjYbXn9viEc&L_a~yMo$#pa+~y&nN5s8%3FQ(g05if^T_FWkh+=ud~&xTxs905
zl#a))Wz|y!$DTokBKJj-c@8pH3Yqa&?JvtRbp^*3LIzKbO%@#c3W}*&Pa`$<a>21A
zp~hO$H?|__v#vYYU^P&qBz#sQ(w0QAb@tTgS@UQv*+K`6x#qIk+GOv9V%!*NcruqN
z4_55sTsv)zh5eo+E1bD;c6L^z1?8FB0ZdSRNt?nEUoZF?>A+c1ndyHmM8Wl-BNBrk
zVK_|x6d8h!s&Qs1@jj@uuhIf1sPvof&d$y(m`L9`cP0LIr#JC*;(2(=*mH>zqs`YF
z4?f8KU^3P`oy>=6?y?$5D%i7x!#aH(n888>C-zwl1Q}%LJL%x({_pH8=-^p7_BT%E
z5^E?o3nxrW!=ATJ^-fHG1pLSAXW<72uSqXERlsG8zN1fkCq6av3E5xLNop1Lu?N%P
z!=fbo@jJ2j=sUXjBhz_sSt6lIkTFT)E|sicOoCbpfl^DSAjpK5&kcX=BCqS25~|=k
zaB34yX8xY~U+$3X7H}`?=)dY>%abkEb?9@J>5rmCU=DN$rG7rEdHN6<613)-7bj4j
z2xT`*K>z7#QULv!H)Chw=c8v!DZ3c1@I%OaR_Wm1riuuvv=*O23F`B;Nmuc>$C&6W
zPI?SUmT;ZR1kPpx)0x2QNtZdvlAUMKcZ!pp=Wr+-?<~f_oa}s^Iut3KbQu$f8h1lC
zFaY(qc@c<p-#z}CUUw=1$Ymb)7!sYF*YrJwCtYuo>NBgg@{+CQ<h=1abje%IiB0$D
zMqO{~lCHP6y3XDOGo7ft<+fX=Ca89!XREXY6Rx*2fw?LR@#D?9WT!b{f|B<XCS8Su
z7?PcZgq%xo1b;}+*0&QasBCL74(5!S9z;zio}HTL#lHs`oIc4AY}TSD^iIs4;t1-S
ztTiM`C>P!1%;*X86z~6UP05ZR$7i%uX>#Q`D}w4fv$54<FUQQY#ed4vGrIWOX!wy5
zH2mLDS2$66%ar})nViJbc)c!JJVsPw&&AKpJgdfo2Maws^yR-L<ekhVfcnJDC&^1X
z`GBzgK?@W^Z$Ym{aA~j>({WqdKh-`NEBKdF4_T2rdSX5A!{eYr`_7iUG{i@Q<UVWR
zrhV4p*^=)ANPK6u<P;rG&X&AF$EQJG%IT+NdZg_yZECQtuut1B*v|<mOA}B1%X1Hr
z7KxH{Y2WzrvTrv$(GEpseoFC@xA(e}xeQ%wo`Fp!U54>a!^vC&(o`$z8Q2mfuX}vG
z54}Wx%*cXIKJ<Mgcs=3!50VV{$!y8lAzlkASBr2}a#5sbOP;|A#SfCg^?#e^7^nBl
z$4o}qM1Qr8UeL#i(dc6A5Ivl?FS_+Q-YL+jx!a&;ROO{cM;-~%$7kxQ#iQHIHeYW}
zvcYPNnNH^N1S*ALHns?XGqz>)M6o<bA(A|~4x_@i=uh>lv7aaPP$LH;+LWRC)%dS8
zlyD31<Rc)DiVYY6NiXR1a4rRzG_JB++9$OU1@wj~Y6#h1d0H_Bj@+GW$<4zs`q=q`
zKfDONliTh>%Kq~BF7rgvRDJx=!sHQyzTH^;Ou^kpsa{jM(Wi>5--^EmO%hYnMhp>%
z<|hk|{T#UuQsMCxj~)M6j_#$zaN$W{7#@EHB7KuNSwh)~hUMmQ#3ZzrktWH+$7eOn
zmKg4!*2Rbv`zSPBH}07neeK&Z<LI<u^z=LNMWeZ-r*8Cw4X(|rrC&+>KwFHKvn1*b
z2``O#X5w5+oWT~{XG<98T!_y6joFeH$X5*3Pr`$E$bQp=L5?@8{rs8h5FU6Xk`1M1
zWE+!BMiB2;h>wGqhE-s-z^1=K>GQIE;qTm}HOZARD28~jU_9_P?}%dlkV`PN=Cl)T
zHEtLgH;mD|e)ROY>5Z6mpX5~pz^*@muDA;LLsZ2l_BnmM8|csIh5X<9i_r`7lO>cY
z_``32cI>%=V-?`~b%KumhW<uBK7NPsiEf-FZatOw?)B#qZylf3k2f4QCR{Jfm}Gw$
zoid_vlZ%p%(^cL0$LX)`$J0MYyxMx}3ki-UeiDBvdFv_FNp7H_Vl!EE{G+dn79BU-
zKW?}?SvdAwY&k|`9&(cyzF>X|q-cR3V;&37*}9UN@UCYSt8k5>{#YY1bs8`;9NWrI
zjePET6>2qphxzEcyt1Qzg#kHn>-SUkPUaOncAGKTW*DC!)srLicl4dY@vqYfY8q=B
zeaBL8j2d_J9iy0E%B^><7OnRdY@S@OA7&bRwqWd=V4p1Mp%hg56bdCv`jPrN{W;SK
zy$T-xH0RuUD)G_+x@PYk<)T<Y^Gk^f*FUen^@ZurW3G{GJ=L4wq@zzO+TYzq6}$EO
zXTAb4!ruxWD@c6r==Z>9c4P;5eDC@n>7GeUB`!>Nfyq6qW{xLaFI<00pU<&2V2M>T
zU*bkP^Y>&6^lv!gH>oP?P!%yg&^5(9F!OB533z&P<p|C(F^4xgk{d1%w2is|#TPxb
z&EL_i{pr~k(L2mz=VQhs`jG?E?Bp%Rv6tg7r?|b2LLf!F6hq5Fw$p1rj|lkSF-Sn^
zLd2xRxm#|-;PvRWupXZ;o9Sq<a;HCmxJ6eYv3m4bnl_P|2|W^4bY7wFgR;5_uD3!{
zZ=5ZW<tNTT41|0OR-2u<S6FhK&!=cS=E`80vp}H&jJo#8TU32ChAB}D^IU9cGN*bf
zZkpMiG*<t8Y+d51WStS^f0bEx`y?O7mHH){jfori{OL7Jzh{1gQV$W+#HpEIP}t@3
z15}QD`Pd)95RnZuER<pZiVH;%>k6h_Xv!HQ+GF}Euz>_ITue>KhAkKyLs^~xr}(Sf
zL?~I5+|7jtP-^Vu#7psCp3EijAVwsiM&V~lr6)!E&3rc1e`Nl#rGlE;NR<wKQq?~#
z7kzR1(})dc?ttZK7}3|(9Ic{7q*yM79?YnY4wuf?6?}5C;IYXmF@70(k5;wrmGftQ
zsGUFU^wLC{<|O)#nu5n8c?FNx6_1@CZ^$W)U1fiEBIz+#|Kw1<-ebhUJbGL=I=Qa;
zSMh1I>21Vc_V?snR$HRRI^Bv3iO~zjL;bx+w^283-5bC42|AhfLSY!J{lOZf3Lc**
z#sR)a=lyx(`wC0P-iVdk&(D}fpVo~|t*d@BW~DI%U5c(u42c!i>1j;+;S#UH{Sz<o
z4$zB<?Fu{WF1iESTa}ApKuD%;3dwa`GHPlTp{n5V5z^u4j8GzyM|DQ$TW)`rD*b$f
zSNi!#W~E`~wDH{jTuNe0pExxoMD_}izf>xl2SLb$y;9U(T;mwyO@h8c&{uPMjd}%-
z?-h!@jOKW*cjA2Qb(UEE*t4;M(KDC@@aFhQ{EX;gn))vntY3z=&<F*~aiE~#sVSPI
zq~<FrjbeJtc@?8QjAAg_jqlND7W=az3TRBXDBE9>wbom1`<GM4r&o#jbxJy#i@Y$t
zQ>bkf@|%VHi4nzHFupko9v_CAHW!c0j<*;~V^;fl7*?5IInC8iq3N7P92Su;9bZ@d
zZhZO{`y^&8y%UL3-09*AX5QfQfzcV5usGRl7<)FJ59PuCg|U}EHl3_B-*Ou#l{6E&
zmw%>7PTcI-M$4DuxXOu?96dwlqx0AXI`WJ|GuIynuzL@R(e)0GE402NZ<*=YwKW*l
zCnjdsR>?<)d|WRd*U3k#e6+~NLiuRsN0LSV5ZE!KBfQj7Phux)5vXvWKMZd01V!+4
zf98{?LbQa17K1)Zv<52`ovuS{;*;fl$vX|ndSms4*qZSs14a!#c;qW|i$F&~nijIA
zCX(~7|J#Jwnz(TMLe9A3J0vy{!$tb*IDuYG3BB&5?p&hYIP*0zKZCxcBDh&_m@ejF
zBXKgJk6i^(<0B(LiF`!(8?V63A1lIX#=xO7ccLKNLaxtUe5~X3I0BMnWl}PnY!W7E
z5+=d?SgmX;&Jhc)9-YBe!Jz_P@3)YcJyrec!C%qxNEBTbm83YB?jdCF<EL}=xy5J(
zwE65>o7^rd<YOs6(zpbrX+>&$pVc~j0_sw{y9xm26f}S4D>0z4)*^gfM1PR!r|$zT
zpKb5M0)m*iPoF^k^e^!Tex<ZM9nZY;rWhz>e?!sP)41-17@G6U((%9bwpOgUku9h(
zPG95eEyR9$jjz`OJJBWmS8z%F-`YmM%az9z&EoO(PA)~CnDF%)u!n$^j)*=&Rc{T3
z`wne5RN<f-d9mO?z|!jvhT@UH787&!^h5&DsAcVtrQaX5ga<9b0e@d$Lp0DG3l4^v
z#j-OPiN*b)o8y7VVO}uMW9c1?Sl0Gfx(>$zQHwuj@u#?uyi^%aWH1IkN~uG^Sihwk
zHxMnh;kCm=*BL$#9y}Db3`GO+o<U25?g{xxF5QHT4R#NPEC&OTC;@AG%5a^0*)m<h
zm?auK5>RNH>g%^y)&(o7DmDxaMuWo}qPK@`-w+8Lw5_+)#e*T-+dOQ6ahi5**ahQ2
z<n7S*dP`NAz05`x`7g5Zd#}*dvtPZJN@K!0q^qzuV_$?7zH`{$#9oNq4=jTHZtVAC
zr;<5L&$<T(hJv9$j}#3Kl=Xx{3`a=@r9OWwpaH^xSY}%4jfaKnh>}BxrO;qsuv^7R
z*oWH{vOvv{%IIF)d8PZ-_oQK`fSK=5Y0}RcfbYW|!+sC;&tiWR`w8r?Vt*66DZ<zq
z>^0c;V(-F!5c@Ig4`BZ)cG{l8@f7w~u)mJ|EcWx*-^Ff(4u#m4W4B^2!(N4*w*Mb=
zc#$;(LV;MIJ`#)tyZs@r9Q)p4u5c_6$%NT6x~4#^J|2k#!ZC!nZp2UaY&PcZVLwPi
zef^PuzXu@8&q4VXe>CQbL<V7>k5SrtI2sEK_z<0)(MI$@I%D@!jxX4KpnedMo3UT!
zxWmxVA3~JNRLiAr3HT3Y!R#?T58a+X1W|jyAMOrtW`PL1*WeArI>Y_`a1VOCYq&cw
zM6nmrQET>TgEtfi46)A}e1XV7FpR#hRF?gv!54}`wVnP@JiwkbT#^ZU#UPI#C`)4j
zWB;fiTrI}_m`VPDXrB}q4kCBIP70!mP+)-d;C!%)u^;IWLb?wyw_b{e`PpiNziTiO
zV`T<37k`exW9W?p0`O-;?;$iJ&i=On_U4&WhG;Aj3WOPZn$E)A14HcRhJ(FBkzhDR
zGfC<%S75)%)zRi^*;LNsCRi4O=lk6Uq6fPpF@*z|yq~R59rI~EFhp~L54R63@Sz2M
zcP&teu^B5Cc{ZD^!M4ZNYrDhtnC&OFpWEKDG5ZpGjlJ6*wh!C?%>JnTN&9j8i}qLT
zXYBU!s`7iw$2NU;)0s_2H-BRD=QcmR`Nx}I+kA0zQN<d}mv>eisJN@*SjD{+_g8$Y
z;zY%C#f6G_l?y8uS6)?Vsa#iSuiRScth}-EmdcZrFI2u=`J2jns{W+v`Kn)66;#`*
z>#Bp*2dh6?eP8t#s=rnJa`msP7jId+<%TUAw`|+u*|KxX{w;s7Wn#+%TfVgA$t@?g
zytO4~>kV6P+IsWWy<6|v`thxw+WOGeN47q?^*dYtaqINf%9^H{y*2x5dTXLJhie|G
z`OBJTYINHQx0P(WdfVD<W!pNpMYkQ^_OWdbZ~MZw7q-2-ZT0rD?N!^o+i%_8zdgMD
z==S9HhqnLu_FH!J?1=0*yyN$FJip`B9cOo(-|>HUz$GjgFL2P?T(+BS5^NW>9ku<D
z?NheT*q*n&Vtd1uYhP?%ZU2b9++JlLwSU6?p#AgqFWTR-UtRt`%KumSpOt^1{Hx{P
zD1WN_yXDW7?{RcFZg)f+4>{g;fT<0!9|vYDv=!S*Z7YywwequuHiOM*Gs`)^M=(Fa
z!K~2X{Jm~;_mi&sm4^>&aov9dPm4dKLyqzgW*YwC>F<UG*6{YFy71*TM(uw)c0#JL
z--}&0a$ptt2l;|Q*VNW&skc{(t6a;5fml2o*wz;a2O`04B>j=@{%v&4Y}wGK{BJL}
zY*6;z@Zg4E4`#lW4ZU5si0;AS!iG?=tFIfSDKi@LcOTe*i)otfVR~yWE8Cd<KN{)Y
z2;vR=Dtn_SDIdzqx>@~}eVA<a9jdb1_VG)1oM<lJW75G2ei6Tqi{F>xCCIVNv4Jz#
zRK8CzXNOSl99>>_zdyqCIS7_HhWvOq8te;WDFahLq;u(@UxhqF9H&FEh!kVG)+Ggm
z9HNqx?ka7i(mDCje#|~CnLI*+;Xc97n9I*oK(2wr<{Gx~za$1K@LVkqoiUZ>+UA%I
zoT_Iq-W3Y4Jem*3dzmF?xoH=AeZB-mS<Y4SN5B!OZmP?QdAu6=QkOp(U^y#!rZHdY
z4f*?6&ec5Ej3llxSk5Y*EJRUMkyz(gI8uz_@m?&Zu$<K#D9x8*14F%GKdwr0)^MIH
zn4!_#;$k`0WhWuuNE!`dpT|s6a9~K1`0PDrU*X*Va}7QCn`1P{Rmm|JdP9T$Sc+B}
z=#skQ5oy3b%=FR1dx;}e>uD65PtAa9Q7L*jDg`2uP%w(t`r@^ZAy0ttUbO9(tW<Tg
zEM4+P`ns8ZnT|6{M-MXnO5NgRxYw6!SjGR6q!h&=6a>j?-I5xfS;znWei}(2d@vZn
z>X`mI!A2>1D3!5Z6jm~Z`Ua?}^yRumBv645DR`x>grq3=V00+tkJ0rS)7R*hO>qUt
z2r2>A#hBhH@)Yz?FwEh`EO@|wJG!F&rtFMhm@+&f!-Pw*uFwH$cf;nTB+w*DSPG2e
zlIk#)fd&r*11$HW#UG)Z!J!xo#qzFMNY<ldFx<oP>}F~NN>ZETRiu(YSl$+%%r%%m
zqo2Skl}YOH9}Wfk`eQ8r$P!*u>WRj>g8nGWzjJ9f@seoK^2lH~!1C|n2=|QBD9t@X
zM-)f6YvzA+*(tzgmFE&2XKGeiEYoowW~In-T`85x$;lPnnnHmAi=q7o{UP*v;|(GT
z^vC>N62Z*4v7|GXeCHPYU0}zb+p#aCKLCetC@^s9z#Yt3QE(JMuHobOyMU^9KTbHU
zC}2wQm4*f(8qI2aa#1~qL{8ui75`S@9l#554T}glI3)Q)eJtNV%`|^y-ko`j6@>>S
zB^N2gKe|3<x}r#6NE(U+dV|A~U7}@MmXnS-1g1~Nssv^z3JpS(Tq>8RSYA;)92pGJ
zIw9q<{Gx+A*o&00D1^lguH8JQ{{d7s{s|16gn~$q;9y3W8wzyGx<=W&-MZzJE#n8(
zjK35ac}lG)2P+YMhnd;*4~6vPSUyDz)2jv7!VD~*Ok(=Sm1GP<es~ZoC4FILI?ZF4
zk?D^ES9yUr${ePj7~RAtE*7J)@_8h{Os`x;JXpR+{WNzENDRzK66usXo}THc<RT1q
zv<Ng9K^KX}qHIKG`X}QNJhqaLg>h#3KMRCzp@5&6rg_4EAtcy~p$tQk=?sUAGSod7
zMszd%f`jJ#fp{p!mqeIpX2BnUXQ6<w*v(9Da3X7dPw*hdWM+DkQ>@D$7(5t-QO@O)
z!_`po2$H|z$=du7x@`bFqp-}cIfn)!2}rPPaFCha;#e~;))hjV`ca90=3q-cTvSHR
zFL)U0csLTpNDukH;n2SP-XVz?GSfS}R6hZN%|%WTB0w(lE=PtJ4-5>;g_w?)I>sSU
zOs8A$bqKqMLvlgAz$O+C4-Cj9b4AJf79UQ7mXh^9v-n5~%G2c$^uXe1G$5;$uj7_`
zm_zX}cN^~9RP}ix^9i0Q3pWYu`xyn~T(ihMP3n@6*dWXeuSMrJEf6}sO(m($>3Ibr
z@4{lNwD$)hFcDg$o0$p)ez91_hmaQt!2t?&E4Xjzilex3g5Z%VvPcv$s5z-Zi*zfg
zkWp70vP<3m?*4%6^Tnc!85!l8j1rMis4J!*5{Py8OI>^+&a_126hlmqT-6^A49258
z)(}}B%1lcINvW>5D}v?6e%?u#X_<gm=!$!JFIg_q7No(5nXVFPE7EXpW?CWA>xjM!
zY*&i(dZfGik-l1_ZAeG&z}lc`l>i)24NZV3Wm+SUDqS%oV$s%gjR0zN#Slq=RRFaD
zK-;esKm)iA_=)0L0W=E$6xRu$MOO?piDI1qJOTj4^#brg5hz9^Hwa|6jDY4N0@<f4
z#;PSkNjEtRGp!f!eiiOTJ=W`%Qv>#>D8jE&;9AP+*Jg=Am6Q`g)dB<ELx-7ZlWy6!
z(5Z$v62+|?AZrMT>537BdZd{DKp-q>TFoI88kQ;W1HrkdDg@PC_zmA}2#`h+OtFhc
zO#{<^4CfrA2*N?!d-|jTQcsr$cKx5@JlC)QOw7UIstVb6w&<>Xk!Mhl6&Vz#<=m~h
zwS<@O0(5x;)AR%pq2<BS^gnfZOP6AN+zp1l&Ni3it#5WUbYd=>hIyPFKDV<)>Toql
z4K9zXt-;k+zXxNfTFUE^E<u%}rSf`O+&<#uWqLJ7DcjiMY~o_PK4(h{GpH1;?K^j~
z+_bc-wY_7H)av%OI(_xck|>a;5;S%~r}|cp<ZNq@>N=clAlg)p@j0dRToe@!X1qLw
zx1E&qvUwR~&X&$JQOu-fJL~H^TRU5vK9|(q>1%3tw>3%54zQT7(s(-BTiTmCT~eo)
zvQb+XGppGyk2@=SftpQKZE-nKW}ymtI=#(OD>oA>P+{WVg4RMVD^%fz_Rcy5E>dBI
zy4}MTsi;B>bg_zhoDGt<xxK?DHFmbu``qnqtXP}d;qrBMw0T*H3OBZQc1SmNqMcgY
zt!^J%qGrL;zFp1^=-T0GbfJ;SGIg#tSEIWg?#Py^q%HLx*#k;du)_s~TH71kjeFQK
z6((c3+v*!!^=!F{y4!rNCRc~l(1;Q)-T+>9m73q~@k!36PPRgYoIBgy4P<wzvAsib
zHZ*jwm1?fHrG1y=M!Vxr>!xyQ33l}*va8rCHAk=oxzz4~>k{vJ?hh7~Ms60buLCwg
zE38(t&?B5J?xr>u)qN*AG^c?L+a<+|yljn1Pv-DCn;Y3RTCBds*TAe=tj@>Qs)$gu
z(b)nH2n$@(x>h&4HjSj=#!jzK>TH91x3KHfjCO<?ccWC_-nJ8s;ca8<)I8Ft+0C1w
z(T&Poug&tNW!<37YHaLqxjgJ6D(c$pld5c+swznoVnmzI%hs#eP4K1;5!t+wmn?yf
z*1|TZ6a;p*DHd&MhfBc~+^z7xvP)5UeeLjCg>0ji%;T)T32h^{Ak{rZY12~r_IO+^
zE-w@#eqLtRW|J;9scw(t+1=j3%GFGA<qjx~I7=Sjm3-~ePI&vK%aAm7w6}61$DBme
zPOc6wy0n*VRw+a<*SKn<hc~LL1BR|pDXC4N11ch=Q&i4LA*6vpm72}FlgHcK*;vP_
zRap3-qizp^D}@R7ZWwBdnon|@oW5pP2ivNmq7;_?8(W=HeX|p-z-rR7cb9LjxKy)m
zy9}YW<+p1nAuiR@J2W{YO!1alHAjxJyWGBJiZ0BlW;t7SIrn&_MvQ7015rN-F3##y
z0@35B^S8L#SiPFzZFV>M?5sgW_PQuE?Dk<;mxQdg2If-p5jk4hVP3gQQb=QsYIdU&
z9bA~6HK}k~@RfFTxP30xtY-4S)M}S@x}6ey*RAHXwNte4INcpi3`gunHAk5u&?H0*
z_BW+v$~xZ6V*_i+&S`dwNk^-iC0B^d$J$g_ICV?AJPdnTyP8Mtw7b5!sg8NHAZlb|
zH>()cL-;$zG1j5x2;Y<Y0tO+<_Nv+POa%sQaPu(~cBi1_Q%OW6d9$-l6;|5mX1S(2
z)hriAR%s_Sbf?FIuCPnZYC-d{-OTuT%uBDsOpwnucgZtJK4a_+_+xlN4s-R->6XxB
zQOqW3bv$!6xh5y?hstcy*?|cc4P5d}QcioweDc&W9jdCsIt)$CIJleqUCa-8y3V`H
z>5->{9N=o_3bkKV)HcX!bJbL}*XJxDt<1yVp1Nqmg%C4s%~?YAULy4j;#xjVm#27i
zLc;ZCKoax=y#YKX!c2Q|7Hlu2`FAn?mP7)5Qa4t1Qq$-ga`Rkxl|@loyYMnrgn0{9
zvw;pdMfG&h7uC_hP~>&fF}J9JAM=VZrU39_Zd%{cURUQr+Y7*0bh9{_2hMGhoG=yn
zTD($IyRXg(cjP7K7r8Mh-z^g6q83+^6M=zeEhtJK<S;=*{PneaC==5{B)srJbbU$}
z7Bym2k*DWHMKty`x;xOnDRYsi-EKZka@LDE1wSn=a_xkCD#6nwMRkIw7c)9c<<*>}
zMXjx}qNR#1sbb606iR{1Wvx=cRWg8%A*8K9^?j;{m1+5@LRS~HI=weZTurXxDgp3w
zOA)%ML*=lV>&&y(6k%dYVx)RFofpH)HB8?CFW^^gd(rB=%XpanMx2{_x`rjV2bSfr
z0x{snCF(ZgBBG+43P(oXb~!J4FyfH1i|!EFCF-hL?C=nle)&Qt7VGj7E8%qL`1P13
zU})tn?XK5g?oCw{a72~J?EsLI2H=9u=k9EUf2u?+&YN)M(B^};s-R2=0M45QJFph2
zf^F^aDkof8h3YYjDaYlNinO_!oh_Ib&r8F+xL(^+*Wqqxa^WIMrEPY4ceyY(o1cc&
zwYT9hqZV8#sdQd<3#KYu_XTP2O>HgkeU<E{wpO^mn)cqbhw6+jkcCOkox3;N%UMxc
zR=u+gJ(8DLlm@%&U4+3^+%PIGj#Oq!me<t*{cvTJmW2sh3oeROq{&6Y!jd%PrV3o|
zs00|ZFha4?H0Y)(T;-%uv^F$4TkSSn<fvd>17zEAU6TQo<GLmT+JuXl49I~Cm^8@8
zd9BKX%9$k%+Dj8hJ1$Vvg0xD#CT)aaCf&Rhk5U)m%M=v7nJFh7;!!&ip=WXFma5c+
zX8?Qr5iH!yn^(eb2Jw=?Fdomv{eUbglb|wEj5gyZ!b*?5i0)%XZ{@LE^wtIQRuTnn
zlFD~Q`Q1lD=gn^3^~`tj5kp@=G)8gba*n%~Mm;?!9109u#I3!Y!W5v~^(##w>Gw5r
z3Jp>t-3`QS5qBU{G%9Fpgy<hBm6*jsKF-Y&ZjB6e)1#4Cgz94Ei@GI51H3zQL_j$?
z95T>T$^35Vf*T4K;cj@Yp%j0Y8g=+f@35hpmJ*+-x404dCAMH=(K6sb8)*Knpf-+{
zQjvw#^GvyVdI>}67D{fR<VE?nDY$j;AF}C+SYcj~ZjnyE@T!Gt7cR!l7Q{W>TI1sR
zdgE2bLQDa2tZe@L?MUK|+qKNS822%jFuifh{H^n==TkDb00eZBw^*k)&Yv%GbO7=f
zq!Cu(JqSjf&b^p&=B<VxlOrvA$FiDbaI)2quo0AIIWL!Fh`a?Qy6cvS;tO-RA_doi
zOQ8W$x6daPRLMo_z<LGvEaE!lsyT~goj7CCsaONR03{lRpd*EsECoZ-aA^s<4u?_)
zYa)5b&cV3$Uv-N@@f_BUzdGGJ3m4$84s$z(U6=mQ1<vPu?gGoay}`bXK^iVu_u)R=
zK`!%BX?R5rJxikhL!EBTnmsq!`nK)aW81iW%^Ez(pwoQ`Bsq+xky&Evw`^1%;MjQi
z2RH=XrgCxIh(H#K<1SV@1Fg~ug<LawjN~%Z$laJ;zf1F#pA&fx27{3zv7SJ0w5*@3
z6pi%+2UDkDBhCl-bI0Obp2dhnUm%9N;5f&F3v@$Tpmb9i@k_vTTW$lt2j~ySNDS`%
zQ}f^q_fY9<16WW7l0xxvB;fXaU7-#1#0}*kspNGtx{vwc_Pc2TdTx+@`-e_>m(gr6
z+yk$)$W>LI1#~Vn9?fwsG>_<e7aAv>3k}DAH*N9Xu~zRPW~B$gjj0&_@9>-*Jz41V
zTFT2d(ZjAEZvPP$DC5uZVVVSC@6KWn(9r-D3gJmg&33b#(jhwN5hLc>Zk0g{EHvt1
zJAmDSol0TI!gd%t?yb_`Bh&l=&Me5}oN><B=dh1}fhZ;6aUJ?;&twWw-knOcq>5hm
zGV;nOnc9^1rV>Ds=h9hu7b?+keRLEJv$wwnL^|UpGWZas)&PnPab2X?@Ngf^VK%^)
zU0Bu#3u}HG`KOgyXjvdfY=1`wh!AyGYAQ;R^wr1~mK5};xBP}!O8>T+QvF0tmD1`_
zsl|FgvL~efma|)-d;=$iiiVe{MIP`)3Jot<3gk@<QV!%?3Q=k*I8#mW0^f}7O4XFu
z)`R;B>}U?i+MXc^R+an37UT$PU^+P9SDG?K-v%Bdm@V=4%F>uIX{fBC!oC@^W4U#B
zNk1qjl~N2(x)Ntxh$-z(L^05$+KVan5wb|<FM@`C(X4LS_JMgbeN}${Z;CVbXO#z?
zDRr;Ixu`pSyoWUe{H`qJ1&Tg4t~2SQ<-z&Lo=I8=&*U$h&=4wpkUv|FoH_Z(ZGlB`
zr7faTG(I$hhp1JJ7&{6bggzE5MQFsN5}yWcK}zUDnyDN40&QObjTOhs(a<}gPixw1
z8VI=)@f4gc0<j>aA`6KnHp<th+Ele+B}(9mJ8e_il;V%jCoNMxRcvTMn#<DJl&YkN
zmG?svz@_V`Eo60MDy7{IA}!h-FJp$C(``(o^wy3c1Vi%qx!Q|pDnT<T)8vqc5BErZ
zZdD#dW#kBdWwSu2)Qu?RfnvNjrR*bQL2up9K%>1Hc|Z2qkBSTXWXE}WKecstO9TBL
zhU+s|oEJ3pbh&>?8u>lkWL;rr;)t%Ewh37cd)EO|`J@rxRHkuSe=AMPUdwN%aZ>-f
zq%1VEb?@H2WE-ycTroj@FE>aoO(XZy-v^C6g3xbq1H%E;gOs?jpSLo#DRI<p@25?N
zQf;c`K`CLwdS0(f)}6O$y_4uKPvhQ8Uh`XMoMgXC(#ZDtW6%iu@P!WCISb+0%4o_+
z^g{??AIl}<SU>eaZbQ(ddWve*63EbQAIz%c6WUFQ5)T6wwGeOLz;9~sNN1`N>@YMO
zhTB~(N+dutBG-a?3u6yZDWy$0@+Ba5X^_W(oSLUZ2_kw9NGwI8_?X~KK6VOum7JUM
z=lxhC#aTyDSi324mHH`!K-PIJft-4c>cy==G<$$%#4*`79z{+n_Qv`nJ*q)Dr(c1O
z2Wni-s*9k=Jt=EYvDHY8Xb>79CS^WgiLDLDF%3-@QXafxQbc2-83l4Wg(!9w`cS<>
zV6~PAQ``Hob4o*<B~@NIQM~S(08;iDpr5*TD<r92Fu9O)CVf&_sgrDd=J0TNj`V<H
zjk);9?R5g2g+3(WK9o>5#Xj#vABrv14s+_9rH^PaRgyYqdl8`AD+BZno;34ta{BIr
z(8n^TEFwAyn$z5d6kBMc>nn!WimRS51Ef}i(4cWjgRBBli;AhGs(=h>kQOSXL2d=Y
ziqcEn31lRNWLvcdx?D?YrZ%OO--}frMrjf`r{(2VehvA;su(V$-XXh9YuC?$fen|?
zyry$_3yR=bkU%U&lk!!8kaRM!cDvHGpvWX@(TfMOwX!Jn2$=yJ?ukGjvM7yY+U-%9
zh9aR}N3)9T?J1cCfdVv#@K<XRr3Gub#fT>T7srC%m8v^&`=P84T`lQ#7W~cbKmQ=p
zz=1(?AO2=<(=rXZ2574ASIb9<QFQey?5wV#E8LX2hf;M{a@6CMtUI+SwWMg%LELAQ
zE1`;G)TY#uqD?nz8%w4m8(MHKY)CWUY%*$hYHiW(bQPuD6#LNUON4!}(1c$CM-FRy
z(?5gH&}Dj)VnabgZ9%gx?RKSXsOY>WUFSL00rD}$A9)Wt3z~mtoiXK(!5kBckEPa#
zQt^-}*Nmy?$IAGZe5{q<M<AlP39e5CvbhFz*C383kgq{1s?<`l^!q-L^k-B)vh=Df
z=`=^uN-tAO$<iPAK+;dBd}Qg4Ea_j)l5SN?$<iPBK+?ad@{y&l&yxN~mh?iklq~(r
zA4vKWDj!+;x-97rXGu4zrDW+(d?4wMs(fVW^uBIQD?1*@lKw6NuuLOMpZq}5znmrA
zk|q5!S<=sENq^=8NvC<Hrly-ILTV7ly;;&vWl2Bvfuw&XOS(Br`aN0FpHijEbEE)D
ziKvbrT4TYUo}US&UHQ|aC8xQDm{o#yu5ANo3h}UoI%906QYl1<{DKcf(Oz)UM*r-{
z&&M^5xUA?mhdxT=A57KDkIM~uCjoyIVQR>dprHrD=cVR;iq3+Dbf)=(R-mFYtrfwr
zpurHBNh4ncq$0MK1?bhQ09xg|)J(6R|Ii&*h@clf)*I``Z<jItqm;Hc?dSC(eK>o~
zA4O*iP@%IXn<w6rokf2yhbSSP&nn@RX`4I}IaHmMvFS28r$#*sIB^XxGwMxd^#Yq}
z4WXgqi{PW_l@-g?QgZz1S1k6vq|;TIhVy2+H=#isG$+*{6=&5xC`%vuK++${l1_JP
zG_o9@%#!|kmh{y6#`~%}`LjmW=He{r6Is$<QKifAhaM)nl+P=DFr^`AGq)@3&kkCt
z;PskoHB}ztYL%K^nx>N0t^^;N!)rGsM*a0=>aO(n8Wa_FR{Hy73i(g4PdU{@)QfsP
zDw(z^{aw{r>F<-E617n3K6RP8|0mSTaZJ(h(rvog_#WE*-c-BO^^|r~>fVlCAbcLr
zWhi%?1L4%7A-zlFG>-|ExnsB-H~u5~1=V0Ir4NlMNMww0MDq#2Z!2+Zu5nP-nP_Rl
zb&7nS(Sj5VLP+LVsa(rc(z>YZKXM<W_g-lb#|U_6kczLW(dOSI{aBWCGJr;w<E|{}
z4_qPXBU#cfX3BC5XCf8Hu8?$E!`IYw^My=Vj#wsAaqtRBr+W%o>2GJsatvi66<t?I
zI^99gN<Wt=%Mr>%D)wF>=|fr4&t}SU^k*U!HCIS_C`<ZurYuKKCQ`BH3Q6zJlKy(8
zEXV##q{4KCr1xY=Kb<Mdu`d&;cvFoD|E6fOKTG;6nX(+aGm(l{uaNY8S<+w1l;!Yc
zA{8gDko4VI(qG7w<?v)86^~va>Ao!Kr!r+ZS~8J}&t4(vo-FC#&y?k8&O|Ec$zM4}
z{hPe5B}@7<nX()WnMg(K3Q2Fyl71pnmZLTksn~agq&H+qpUjlysL4bs8dB1c#U7w(
z5jOfZ4Z;w%uK^(q!CXe3%c6NhMyP}+brHzLVll%KPv8V4KVK`MyE;I`3(uKYEwsp`
z=93G^`UpN&La?d&)B;g@lc3p|MH2_2%&Y{>y)umvyaaMT5W4y^q>!%yQDy~#<|L5Q
z$fv>r`30R~Q}xlKLR$MQ1!76nf}TDKN!_dzr9|DSyp>L|seEb(DNIK?IgKTaW)KMJ
ztCpe<V8hI5oc|OE)shMeo&O4_%1VVmj%!K@4UaI3rqqv!0X88^l3!jgRv47_`YC9p
zL8ICyheTsjHCzmY#zEE2>wzd&*+QQxAj(R+K*ZOf(o1!MMr-F`AX<w}0C@(Ws?T2l
zu>zsW2+n__L8PH>dP*qugf00h?hD~3bhN3p_yJ0(h$O$JU#zq%)_6@rL)5?K2z}#7
zk*>p&BdX41`EK+J+Efjff=20;Lg#CMXzT7IKG;ZrplJp2h{nzVAnW9O(Fa42rFx5K
z_a3$aG^+FnN}WsVxpdFD)n`ue!3i4y4XqlfZF(;dvNP!-^!Wl1(oW_44Is*Tf}nX3
z2+hz`K0gDZ%o7C7Z-CII@|lm@fcK)5+RE1fQFSKj3Lwh3BlviM&|FlN)eS_fnOmSU
zUKtmnk1>cl2!zlU2F=?zs<Q3@LYvyA_XDBcO(jIBCxMVvRphy>QfCMOfy(D1l}g18
z<l={o_#O$4LOOnk&Q%oaq83@!^`N0T2|f~D35btPFtHY=&};{dvZ5$7Yy~o@a^`-B
z*QNqd?R<;OS@@VF;nH627a)_R2SB5&*9p!MAZp|%$`K&6sWts%7V<?P%6$jH=WnuT
zp65tm8lSU3tl+Hb{4S?S?{V|tx@h*aQp<oiG<LoYh&6>s;`1C#+|5yJxEVBLAJR@}
z*ak$IRSIMfh`0};l)4j$(nkdie^DHGC@4N`3L4s!7L<mA(h&+0Y4!T1hK8tr1cc_;
zLMQxwntvKZ-1k(ZpUEnfhvgiK0IEN)0Yb9WdhGzB+<g-|-vs2WrqmD+7%a`I_W+?y
zZRJk`xd=p+^`uOrB0mOFE8jU1vVI0c8|(gAE~RoVqMI1lROEUf=YXi3tANy~Z3_F)
zM^qkA?g8=g&7dJ`sC5qlq3b54rSV)hkW(7Ye+q;)Rr(i!Oaf7*e-DTSh|2lZtWxKJ
zXlq)E2SCU#$X^kW_$O>?9Z00fvV(@2RnSmg4G?WFXaO>zsp(E2CqS!e7z46CWuLo|
zD(eY!#ryE$X@9s6?~aj^!Eo=Oa_;Zy!UxEdR49md8p~9@5qh__oPe$I(*wMag<k83
z!BzedjkqU=0hWdoH{NwsYcHoqvFS&qAi-+_`U5=#G=xH}_(=lDy!70Ee28U3R8~A<
z>vlS+5Pl({zNtf~BcnZdH;nvt4;jDI$GzygVR#KA|A?6QUYG{K2gB44fo0|}@i3<K
z$dMzYPS2p!7aHusOPG7;SFKuz|In3j<A~28@oJ}DRZT{N8vK3Le0kBD{T}N};9UDq
zU;q!ckVw2a89!5y`l9kT^O)4+l~UhI>IifXMj#qkJ>I5+=Qh%i6qQH3*jZHJa9F~#
z*t|}1>-ESGDJ?^>5DZS$h6+89(Gy6$1)4^Y3_wv5FWjaQc!&Q1dTTd*%t@lJA<>Oo
zf``2Vgd%voERm2(Ljn3#u_S*R5WFz{`MKyr{wTL_Sw*Fzx<WkjR)$Y71rG#5hsikn
z`DZ-kN`<8Zfy1Ju%7*BtCN>QLNm2+T{{D6pm+-QFl?UF*nj*<4D|dp-5|IFZZLz{P
zRY=0Cf@m(%h1X`V^rxHgp@JwqQYlIJauux~2i)|v!#cbvUsXCQ3*?P>gQ&+Pn=dn6
zcestZu3`^~zUCzi-8dL=iccfXl`B5#mBHLK93cI`!{bUR2f!U|8w@Lr=?=@EALA4%
z??5;{KySY%kHxcV5xgx#qT9vP%<?0QN`!fDK`A4WQCQN1D~c*EdIF5QICow-^aw{L
zmlpj~N`I;V>ZAgSjHf;u2>*r&;xW9kH|;qDs-x!qJySXGkR<VsP4F8=W&F2Jh<Rn=
z=kOJqH*ea^B<+XDYV8%ov!fHQ0cyo-^t`Ul26~TGOMAWYvJdGJA5Oz~f?ny5`RSD_
zu(U*s(%%w-FCWnN59SbfsSl-bmb?%eKJ{t1TJ)jIe4<S)BunD@rXmP_W2LHxUw{Si
zhHu$2Vu~xP=~F-DrgC(r8ZP5Ib3`)d=kj=2SYs&4BZw>=rs35R6GCxiNH3T1cjHx2
z=#0VcD7PPfeeYl|DTr6yU;r6F04Kw0Gw3PY2<kyO{F?^&9a$H?3V~1ON%EIMMRU-j
z9#}L;vj9heX$aRV?b~x`M43iR)2R<?nnKj%GER}z4C418)CoedXb(P#BH^13-4rT>
zaQeKRd@j#Ek;J{PG%YXVq4e&;bQARl{6p!cQ~XJe6&~@HdU7hcrt}W>lmqj+56PD(
zJhbC|_Jh%Mv%(;$j}dY<{9Cd7LnA^FdCcLjPp1Ktqi(!gO}6M|Dnk{aagl388fJJb
zaD25u?sp2i^cVIB!znqLU#-X()p=#RQ)(er;$^k?D?YzR)%Ih|5mBAALii61L%L#8
ztr>*h(B}*kYo-_;2t>kx5SXj{G_M&_S!!F!-9rWz{^K7SlK6X=Knzzx#~Dym@nw9P
zv9=01nodX`GmwSw(sM^+;f|RR7VSNkR{YyB_`Cx?t&nPD!9e~zqbzT(?@{t7A$qRX
zw}fexPc~w_gV(6`q&7g)rfR}3(KCYXT(-d2l=T5mHOQrzQ?07<olfrHO7!7fD?Rv#
zCXc15D5a0qYE&Y>=EjjPpX8LhRHFL%!S3!5rfL|~{84;aMka$=bA1?;S3&)1rpg5i
zZ}f1p%7ynSxl>$*nOgm{D4~g7(fFVeye>O7;MZ_|d=+Gl4yDxTQsX<f5?|DoEC1Vu
zKH)|p2Bimo`eX#&Lr5Py5`zopeA%H_tF+o_p))>>bRZf#APvwYD!pq7e}s_`C)M^&
zS48AxE6DXxE=}diranh1r`73A)&xn@E_Csr8C2A!O!wqD2l-2n<C)=;Ntf)*m!3f>
l<CBzrfx{OG`NUkrd%S;?U%K&#98)54rZq0#kL9)G{|8{N4@Lk0

literal 0
HcmV?d00001

diff --git a/sim/gate.lua b/sim/gate.lua
index 25d7821..6d7efb8 100644
--- a/sim/gate.lua
+++ b/sim/gate.lua
@@ -1,39 +1,48 @@
 
-local ffi = FFI
+local ffi = FFI or require("ffi")
 
 Gate = {}
 
+ffi.cdef [[
+	struct OutPort {
+		struct Net* net;
+		int state;
+	};
+	struct Gate {
+		int in_queue;
+		struct OutPort ports[0];
+	};
+]]
+
 function Gate.new(objref, definition)
-	local o = {
+	local gate = {
 		-- Logic Critical
-		in_queue = 0,
+		c = nil,
 		logic = definition.logic,
 		ports = {},
 		port_nets = {},
-		port_states = {},
 		
 		objref = objref,
 		definition = definition,
 	}
-	return o
+	local cdata = ffi.new("char["..(ffi.sizeof("struct Gate") + ffi.sizeof("struct OutPort")*(#gate.ports+1)).."]")
+	gate.c = ffi.cast("struct Gate*", cdata)
+	gate.c.in_queue = 0
+	Gate.update_c_ports(gate)
+	return gate
 end
 
 -- Logic Critical
 function Gate.getportstate(gate, index)
-	--return gate[index*2].state
-	return gate.port_nets[index].state
+	return gate.c.ports[index].state
 end
 
 -- Logic Critical
 function Gate.setportstate(gate, index, state)
-	--if state ~= gate[index*2+1] then
-	if state ~= gate.port_states[index] then
-		--local group = gate[index*2]
+	if state ~= gate.c.ports[index].state then
 		local group = gate.port_nets[index]
-		--group.state_num = group.state_num - gate[index*2+1] + state
-		group.state_num = group.state_num - gate.port_states[index] + state
-		--gate[index*2+1] = state
-		gate.port_states[index] = state
+		group.state_num = group.state_num - gate.c.ports[index].state + state
+		gate.c.ports[index].state = state
 		
 		if ((group.state_num>0) ~= (group.state==1)) and (group.in_queue==0) then
 			Simulation.queuegroup(GSim, group)
@@ -41,6 +50,11 @@ function Gate.setportstate(gate, index, state)
 	end
 end
 
+-- Logic Critical
+function Gate.logic(gate)
+	gate.logic(gate)
+end
+
 function Gate.preinit(gate)
 	
 end
@@ -83,10 +97,6 @@ function Gate.init(gate)
 	Gate.getdefinition(gate).init(gate)
 end
 
-function Gate.logic(gate)
-	gate.logic(gate)
-end
-
 function Gate.input(gate, argv)
 	Gate.getdefinition(gate).input(gate, argv)
 end
diff --git a/sim/gatedef.lua b/sim/gatedef.lua
index f14cb7b..c8a9bde 100644
--- a/sim/gatedef.lua
+++ b/sim/gatedef.lua
@@ -5,7 +5,7 @@ GateDefinition = {
 	input = function(gate, argv) end
 }
 
-function GateDefinition.new(objref, name, description, init, logic, input, global, ports)
+function GateDefinition.new(objref, name, description, init, logic, input, code, global, ports, code)
 	
 	name = collapseescape(name)
 	init  = collapseescape(init)
@@ -13,17 +13,24 @@ function GateDefinition.new(objref, name, description, init, logic, input, globa
 	input = collapseescape(input)
 	global = collapseescape(global)
 	description = collapseescape(description)
+	code = collapseescape(code)
 	
-	local o = {
+	local compiled_size, compiled_code = Simulation.compile_code(nil, code)
+	
+	local def = {
 		objref = objref,
 		name = name,
 		description = description,
-		ports = ports or {}
+		ports = ports or {},
+		num_in_ports = 0,
+		num_out_ports = 0,
+		compiled_program_code = compiled_code,
+		compiled_program_size = compiled_size,
 	}
 	
 	local initfunc = loadstring(tostring(init))
 	if initfunc~=nil then
-		o.init = initfunc() or function()end
+		def.init = initfunc() or function()end
 	else
 		print("Error loading init func for ".. (name or ""))
 		print(init)
@@ -31,7 +38,7 @@ function GateDefinition.new(objref, name, description, init, logic, input, globa
 	
 	local logicfunc = loadstring(tostring(logic))
 	if logicfunc ~= nil then
-		o.logic = logicfunc() or function()end
+		def.logic = logicfunc() or function()end
 	else
 		print("Error loading logic function for " .. (name or ""))
 		print(logic)
@@ -39,7 +46,7 @@ function GateDefinition.new(objref, name, description, init, logic, input, globa
 	
 	local inputfunc = loadstring(tostring(input))
 	if inputfunc ~= nil then
-		o.input = inputfunc() or function()end
+		def.input = inputfunc() or function()end
 	else
 		print("Error loading input function for " .. (name or ""))
 		print(input)
@@ -53,7 +60,16 @@ function GateDefinition.new(objref, name, description, init, logic, input, globa
 		print(global)
 	end
 	
-	return o
+	for i = 1, #def.ports do
+		local portd = def.ports[i]
+		if portd.type==PortTypes.output then
+			def.num_out_ports = def.num_out_ports + 1
+		elseif portd.type==PortTypes.input then
+			def.num_in_ports = def.num_in_ports + 1
+		else error("invalid port type: "..name.." port "..i..) end
+	end
+	
+	return def
 end
 
 function GateDefinition.constructgate(def, objref, position, rotation)
@@ -85,10 +101,8 @@ function GateDefinition.constructgate(def, objref, position, rotation)
 		local port = Port.new(type, dir, {position[1]+pos[1], position[2]+pos[2], position[3]+pos[3]}, portd.causeupdate, i, gate)
 		
 		gate.ports[port.idx] = port
-		--gate[port.idx*2] = nil
-		--gate[port.idx*2+1] = 0
 		gate.port_nets[port.idx] = nil
-		gate.port_states[port.idx] = 0
+		gate.c.ports[port.idx].state = 0
 	end
 	
 	return gate
diff --git a/sim/group.lua b/sim/group.lua
index 675c626..629d2d6 100644
--- a/sim/group.lua
+++ b/sim/group.lua
@@ -185,7 +185,7 @@ function Group.setstate(group, state)
 		local len = group.num_gates_update
 		for i = 1, len do
 			local gate = group.gates_update[i]
-			if gate and gate.in_queue==0 then
+			if gate and gate.c.in_queue==0 then
 				Simulation.queuegate(sim, gate)
 			end
 		end
diff --git a/sim/network.lua b/sim/network.lua
index f40194f..d99f819 100644
--- a/sim/network.lua
+++ b/sim/network.lua
@@ -76,10 +76,11 @@ function network_update()
 				local logic = data[i+5]
 				local input = data[i+6]
 				local global = data[i+7]
-				local numports = tonumber(data[i+8])
+				local code = data[i+8]
+				local numports = tonumber(data[i+9])
 				local ports = {}
 				
-				for a = i+9, numports*5+i+8, 5 do
+				for a = i+10, numports*5+i+9, 5 do
 					local portd = {
 						type = tonumber(data[a]),
 						position = vectotable(data[a+1]),
@@ -92,10 +93,10 @@ function network_update()
 					if not portd.direction then print(line) end
 				end
 				
-				local definition = GateDefinition.new(objref, name, desc, init, logic, input, global, ports)
+				local definition = GateDefinition.new(objref, name, desc, init, logic, input, global, ports, code)
 				Simulation.addgatedefinition(sim, definition)
 				
-				i = i + 8 + numports*5
+				i = i + 9 + numports*5
 			elseif data[i] == "SL" then
 				local wire = Simulation.getwirebyref(sim, tonumber(data[i+1]))
 				if wire ~= nil then
diff --git a/sim/port.lua b/sim/port.lua
index 305c80a..5a92e25 100644
--- a/sim/port.lua
+++ b/sim/port.lua
@@ -62,5 +62,5 @@ function Port.gettype(port)
 end
 
 function Port.getstate(port)
-	return Port.getgate(port).port_states[port.idx]
+	return Port.getgate(port).c.ports[port.idx].state
 end
diff --git a/sim/simulation.lua b/sim/simulation.lua
index 010a8f6..f4ab6f8 100644
--- a/sim/simulation.lua
+++ b/sim/simulation.lua
@@ -244,11 +244,11 @@ end
 function Simulation.queuegate(sim, gate)
 	sim.gatequeue[sim.num_gatequeue+1] = gate
 	sim.num_gatequeue = sim.num_gatequeue + 1
-	gate.in_queue = 1
+	gate.c.in_queue = 1
 end
 
 function Simulation.queuegate_safe(sim, gate)
-	if gate.in_queue==0 then
+	if gate.c.in_queue==0 then
 		Simulation.queuegate(sim, gate)
 	end
 end
@@ -296,10 +296,10 @@ function Simulation.dequeuegroup(sim, group)
 end
 
 function Simulation.dequeuegate(sim, gate)
-	if gate.in_queue~=0 then
+	if gate.c.in_queue~=0 then
 		array_remove(sim.gatequeue, gate, true)
 		sim.num_gatequeue = sim.num_gatequeue - 1
-		gate.in_queue = 0
+		gate.c.in_queue = 0
 	end
 	if sim.inputqueue~=nil then sim.inputqueue[gate] = nil end
 	if sim.initqueue ~=nil then sim.initqueue [gate] = nil end
@@ -330,7 +330,7 @@ function Simulation.ticklogic(sim)
 	
 	if sim.tickqueue[sim.current_tick] ~= nil then
 		for i, gate in pairs(sim.tickqueue[sim.current_tick]) do
-			if gate.in_queue==0 then
+			if gate.c.in_queue==0 then
 				Simulation.queuegate(sim, gate)
 			end
 		end
@@ -340,7 +340,7 @@ function Simulation.ticklogic(sim)
 	for i = 1, sim.num_gatequeue do
 		local gate = sim.gatequeue[i]
 		gate.logic(gate)
-		gate.in_queue = 0
+		gate.c.in_queue = 0
 		sim.gatequeue[i] = nil
 	end
 	--sim.gatequeue = {}