-
Notifications
You must be signed in to change notification settings - Fork 2
/
insertteo.sql
48 lines (46 loc) · 27.9 KB
/
insertteo.sql
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (1,'c_{1} (c_{10} x_{112} x_{112}) c_{8}','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000100000001740005635f7b317d7371007e0000707371007e0000707371007e00067000000000000000000a00000005740006635f7b31307d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000707371007e000d70000000707371007e00067000000000000000000800000000740005635f7b387d',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (2,'c_{10} x_{97} (c_{11} c_{17} x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e0000707371007e0000707371007e00067000000000000000000b00000006740006635f7b31317d7371007e00067000000000000000001100000000740006635f7b31377d7371007e00097000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (3,'c_{10} (c_{11} x_{97} x_{98}) (c_{11} x_{98} x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e0000707371007e00067000000000000000000b00000006740006635f7b31317d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e000d70000000627371007e0000707371007e0000707371007e00067000000000000000000b0000000671007e000c7371007e000d70000000627371007e000d7000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (4,'c_{10} c_{17} (c_{11} (c_{15} x_{97}) x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e00067000000000000000001100000000740006635f7b31377d7371007e0000707371007e0000707371007e00067000000000000000000b00000006740006635f7b31317d7371007e0000707371007e00067000000000000000000f00000008740006635f7b31357d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e00127000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (5,'c_{10} (c_{11} (c_{11} x_{99} x_{98}) x_{97}) (c_{11} x_{99} (c_{11} x_{98} x_{97}))','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e0000707371007e00067000000000000000000b00000006740006635f7b31317d7371007e0000707371007e0000707371007e00067000000000000000000b0000000671007e000c73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000637371007e001070000000627371007e001070000000617371007e0000707371007e0000707371007e00067000000000000000000b0000000671007e000c7371007e001070000000637371007e0000707371007e0000707371007e00067000000000000000000b0000000671007e000c7371007e001070000000627371007e00107000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (6,'c_{10} x_{97} (c_{13} c_{18} x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d7371007e00067000000000000000001200000000740006635f7b31387d7371007e00097000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (7,'c_{10} (c_{13} x_{97} x_{98}) (c_{13} x_{98} x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e000d70000000627371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e000c7371007e000d70000000627371007e000d7000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (8,'c_{10} c_{18} (c_{13} (c_{16} (c_{15} c_{18}) x_{97}) x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e00067000000000000000001200000000740006635f7b31387d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d7371007e0000707371007e0000707371007e00067000000000000000001000000009740006635f7b31367d7371007e0000707371007e00067000000000000000000f00000008740006635f7b31357d7371007e0006700000000000000000120000000071007e000a73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e00177000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (9,'c_{10} (c_{13} (c_{13} x_{99} x_{98}) x_{97}) (c_{13} x_{99} (c_{13} x_{98} x_{97}))','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d7371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e000c73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000637371007e001070000000627371007e001070000000617371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e000c7371007e001070000000637371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e000c7371007e001070000000627371007e00107000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (10,'c_{10} (c_{11} (c_{13} x_{99} x_{97}) (c_{13} x_{98} x_{97})) (c_{13} (c_{11} x_{99} x_{98}) x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e0000707371007e00067000000000000000000b00000006740006635f7b31317d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000637371007e001170000000617371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e00107371007e001170000000627371007e001170000000617371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e00107371007e0000707371007e0000707371007e00067000000000000000000b0000000671007e000c7371007e001170000000637371007e001170000000627371007e00117000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (11,'c_{10} (c_{11} (c_{15} x_{98}) x_{97}) (c_{12} x_{98} x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e0000707371007e00067000000000000000000b00000006740006635f7b31317d7371007e0000707371007e00067000000000000000000f00000009740006635f7b31357d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000627371007e001070000000617371007e0000707371007e0000707371007e00067000000000000000000c00000006740006635f7b31327d7371007e001070000000627371007e00107000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (12,'c_{10} c_{17} (c_{13} c_{17} x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e00067000000000000000001100000000740006635f7b31377d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d7371007e0006700000000000000000110000000071007e000a73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e00027000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (13,'c_{10} x_{97} (c_{11} x_{97} c_{17})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e0000707371007e0000707371007e00067000000000000000000b00000006740006635f7b31317d7371007e000970000000617371007e00067000000000000000001100000000740006635f7b31377d',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (14,'c_{10} c_{17} (c_{11} x_{97} (c_{15} x_{97}))','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e00067000000000000000001100000000740006635f7b31377d7371007e0000707371007e0000707371007e00067000000000000000000b00000006740006635f7b31317d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e0000707371007e00067000000000000000000f00000009740006635f7b31357d7371007e000f7000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (15,'c_{10} x_{97} (c_{13} x_{97} c_{18})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d7371007e000970000000617371007e00067000000000000000001200000000740006635f7b31387d',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (17,'c_{10} c_{18} (c_{13} x_{97} (c_{16} (c_{15} c_{18}) x_{97}))','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e00067000000000000000001200000000740006635f7b31387d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e0000707371007e0000707371007e00067000000000000000001000000008740006635f7b31367d7371007e0000707371007e00067000000000000000000f00000009740006635f7b31357d7371007e0006700000000000000000120000000071007e000a7371007e000f7000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (18,'c_{10} (c_{11} (c_{13} x_{97} x_{99}) (c_{13} x_{97} x_{98})) (c_{13} x_{97} (c_{11} x_{99} x_{98}))','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e0000707371007e00067000000000000000000b00000006740006635f7b31317d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e001170000000637371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e00107371007e001170000000617371007e001170000000627371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e00107371007e001170000000617371007e0000707371007e0000707371007e00067000000000000000000b0000000671007e000c7371007e001170000000637371007e00117000000062',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (19,'c_{10} (c_{15} (c_{13} x_{98} x_{97})) (c_{13} (c_{15} x_{98}) x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e00067000000000000000000f00000009740006635f7b31357d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000627371007e001070000000617371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e000f7371007e0000707371007e00067000000000000000000f0000000971007e000b7371007e001070000000627371007e00107000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (20,'c_{10} (c_{15} (c_{13} x_{98} x_{97})) (c_{13} x_{98} (c_{15} x_{97}))','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e00067000000000000000000f00000009740006635f7b31357d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000627371007e001070000000617371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e000f7371007e001070000000627371007e0000707371007e00067000000000000000000f0000000971007e000b7371007e00107000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (21,'c_{10} (c_{13} x_{97} (c_{15} c_{18})) (c_{15} x_{97})','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000617371007e0000707371007e00067000000000000000000f00000009740006635f7b31357d7371007e00067000000000000000001200000000740006635f7b31387d7371007e0000707371007e00067000000000000000000f0000000971007e00117371007e000d7000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (22,'c_{10} (c_{13} x_{98} x_{97}) (c_{13} (c_{15} x_{98}) (c_{15} x_{97}))','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d73720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5661725d53268de7132cc8020001490006696e646963657871007e000270000000627371007e000d70000000617371007e0000707371007e0000707371007e00067000000000000000000d0000000771007e000c7371007e0000707371007e00067000000000000000000f00000009740006635f7b31357d7371007e000d70000000627371007e0000707371007e00067000000000000000000f0000000971007e00157371007e000d7000000061',FALSE);
insert into userdb.teorema (id, enunciado, teoserializado, esquema) values (23,'c_{10} c_{18} (c_{13} (c_{15} c_{18}) (c_{15} c_{18}))','\xaced000573720023636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e417070fa6ff051325fa4330200024c0001707400264c636f6d2f686f77746f646f696e6a6176612f6c616d62646163616c63756c6f2f5465726d3b4c00017171007e000178720024636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e5465726dff79efffb89ea8560200014c0005616c6961737400124c6a6176612f6c616e672f537472696e673b7870707371007e00007073720025636f6d2e686f77746f646f696e6a6176612e6c616d62646163616c63756c6f2e436f6e73740be7c3d4f095b37202000549000761736f636961745a000b66756e4e6f746174696f6e49000269644900067072656365644c0003636f6e71007e00037871007e00027000000000000000000a00000005740006635f7b31307d7371007e00067000000000000000001200000000740006635f7b31387d7371007e0000707371007e0000707371007e00067000000000000000000d00000007740006635f7b31337d7371007e0000707371007e00067000000000000000000f00000009740006635f7b31357d7371007e0006700000000000000000120000000071007e000a7371007e0000707371007e00067000000000000000000f0000000971007e00117371007e0006700000000000000000120000000071007e000a',FALSE);
COPY userdb.resuelve (id, nombreteorema, numeroteorema, resuelto, loginusuario, teoremaid, categoriaid) FROM stdin;
1 Identity of $=$ 1.1 t AdminTeoremas 1 1
12 Absorbent element of $.$ 4.1 f AdminTeoremas 12 4
2 Neutral Element 2.2 t AdminTeoremas 2 2
3 Symmetry of $+$ 2.1 t AdminTeoremas 3 2
4 Inverse of $+$ 2.4 t AdminTeoremas 4 2
13 Neutral Element 2.3 f AdminTeoremas 13 2
11 Definition of $-$ 2.7 t AdminTeoremas 11 2
5 Associativity of $+$ 2.6 t AdminTeoremas 5 2
14 Inverse of $+$ 2.5 f AdminTeoremas 14 2
6 Neutral Element 3.2 t AdminTeoremas 6 3
7 Symmetry of $.$ 3.1 t AdminTeoremas 7 3
10 Distributivity of $.$ over $+$ 3.7 t AdminTeoremas 10 3
9 Associativity of $.$ 3.6 t AdminTeoremas 9 3
8 Inverse of $.$ 3.4 t AdminTeoremas 8 3
15 Neutral Element 3.3 f AdminTeoremas 15 3
17 Inverse of $.$ 3.5 f AdminTeoremas 17 3
18 Distributivity of $.$ over $+$ 3.8 f AdminTeoremas 18 3
19 Rule of signs 4.2 f AdminTeoremas 19 4
20 Rule of signs 4.3 f AdminTeoremas 20 4
21 4.5 f AdminTeoremas 21 4
22 Rule of signs 4.4 f AdminTeoremas 22 4
23 4.6 f AdminTeoremas 23 4
\.