$\Gamma$ formulas

size	file size (in bytes)	number of atomic formulas	number of composite formulas	number of connectives	formula factory complexity	number of signed formulas	signed formula factory complexity
20	690	42	61	2	305	42	248
40	1410	82	121	2	605	82	488
60	2130	122	181	2	905	122	728
80	2850	162	241	2	1205	162	968
100	3582	202	301	2	1505	202	1208
120	4422	242	361	2	1805	242	1448
140	5262	282	421	2	2105	282	1688
160	6102	322	481	2	2405	322	1928
180	6942	362	541	2	2705	362	2168
200	7782	402	601	2	3005	402	2408
220	8622	442	661	2	3305	442	2648
240	9462	482	721	2	3605	482	2888
260	10302	522	781	2	3905	522	3128
280	11142	562	841	2	4205	562	3368
300	11982	602	901	2	4505	602	3608
320	12822	642	961	2	4805	642	3848
340	13662	682	1021	2	5105	682	4088
360	14502	722	1081	2	5405	722	4328
380	15342	762	1141	2	5705	762	4568
400	16182	802	1201	2	6005	802	4808