-
Notifications
You must be signed in to change notification settings - Fork 0
/
punctilious.log
68 lines (68 loc) · 5.87 KB
/
punctilious.log
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
2024-02-05 09:17:35,587 - DEBUG - typesetting_class: default, weight: 1000
2024-02-05 09:17:35,587 - DEBUG - typesetting_class: indexed_symbol, weight: 1000
2024-02-05 09:17:35,587 - DEBUG - typesetting_class: styled_text, weight: 2000
2024-02-05 09:17:35,587 - DEBUG - typesetting_class: symbol, weight: 2000
2024-02-05 09:17:35,587 - DEBUG - preference: default, weight: 100
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.serif_normal, weight: 200
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.serif_normal, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.serif_bold, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.serif_italic, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.serif_bold_italic, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.sans_serif_normal, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.sans_serif_bold, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.sans_serif_italic, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.sans_serif_bold_italic, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.script_normal, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.script_bold, weight: 300
2024-02-05 09:17:35,588 - DEBUG - preference: text_style.fraktur_normal, weight: 300
2024-02-05 09:17:35,589 - DEBUG - preference: text_style.fraktur_bold, weight: 300
2024-02-05 09:17:35,589 - DEBUG - preference: text_style.monospace, weight: 300
2024-02-05 09:17:35,589 - DEBUG - preference: text_style.double_struck, weight: 300
2024-02-05 09:17:35,589 - DEBUG - Module typesetting: loaded.
2024-02-05 09:17:35,590 - DEBUG - preference: fl1.formula.function_call, weight: 200
2024-02-05 09:17:35,590 - DEBUG - preference: fl1.formula.prefix_no_parenthesis, weight: 300
2024-02-05 09:17:35,590 - DEBUG - preference: fl1.formula.infix, weight: 300
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.formal_object, weight: 2000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.formula, weight: 3000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.atomic_formula, weight: 4000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.compound_formula, weight: 4000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.connective, weight: 2000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.variable_arity_connective, weight: 3000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.fixed_arity_connective, weight: 3000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.binary_connective, weight: 4000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.unary_connective, weight: 4000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.fixed_arity_formula, weight: 3000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.binary_formula, weight: 4000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.unary_formula, weight: 4000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.formal_language_collection, weight: 3000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.compound_formula_collection, weight: 4000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.connective_collection, weight: 4000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.formal_language, weight: 2000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.meta_language, weight: 2000
2024-02-05 09:17:35,591 - DEBUG - typesetting_class: fl1.ml1, weight: 2000
2024-02-05 09:17:35,592 - DEBUG - Module fl1: loaded.
2024-02-05 09:17:35,593 - DEBUG - Module fl1_presentation: loaded.
2024-02-05 09:17:35,594 - DEBUG - preference: pl1.connective.negation.tilde, weight: 200
2024-02-05 09:17:35,594 - DEBUG - preference: pl1.connective.negation.not, weight: 300
2024-02-05 09:17:35,594 - DEBUG - typesetting_class: pl1.connective.conditional, weight: 3000
2024-02-05 09:17:35,594 - DEBUG - typesetting_class: pl1ml.meta_variable, weight: 4000
2024-02-05 09:17:35,594 - DEBUG - typesetting_class: pl1.connective.negation, weight: 3000
2024-02-05 09:17:35,594 - DEBUG - typesetting_class: pl1.propositional_formula, weight: 4000
2024-02-05 09:17:35,595 - DEBUG - typesetting_class: pl1.propositional_unary_formula, weight: 5000
2024-02-05 09:17:35,595 - DEBUG - typesetting_class: pl1.propositional_binary_formula, weight: 5000
2024-02-05 09:17:35,595 - DEBUG - typesetting_class: pl1.propositional_variable, weight: 3000
2024-02-05 09:17:35,595 - DEBUG - Module pl1: loaded.
2024-02-05 09:17:35,596 - DEBUG - Module pl1_presentation: loaded.
2024-02-05 09:17:35,597 - DEBUG - Module punctilious: loaded.
2024-02-05 09:17:35,611 - DEBUG - FormalObject-2249564522576
2024-02-05 09:17:35,611 - DEBUG - typesetting_class: test-1, weight: 2000
2024-02-05 09:17:35,617 - DEBUG - preference: pl1.connective.negation.tilde, weight: 400
2024-02-05 09:17:35,617 - DEBUG - preference: pl1.connective.negation.not, weight: 500
2024-02-05 09:17:35,619 - ERROR - connective is not a pl1 connective.
2024-02-05 09:17:35,619 - ERROR - term is not a pl1 well-formed-formula.
2024-02-05 09:17:35,627 - DEBUG - FormalObject 'lnotP' (python id: 2249564080208) is already present in this FormalLanguageClass as 'lnotP' (python id: 2249564081104). The existing object is reused and the new object is discarded.
2024-02-05 09:17:35,633 - DEBUG - lnotP --> lnotlnotP --> P --> lnotlnotP --> P
2024-02-05 09:17:35,635 - DEBUG - FormalObject 'lnotP' (python id: 2249589504912) is already present in this FormalLanguageClass as 'lnotP' (python id: 2249589500944). The existing object is reused and the new object is discarded.
2024-02-05 09:17:35,635 - INFO - P --> PP
2024-02-05 09:17:35,635 - DEBUG - FormalObject 'P --> P' (python id: 2249589504912) is already present in this FormalLanguageClass as 'P --> P' (python id: 2249589494864). The existing object is reused and the new object is discarded.
2024-02-05 09:17:35,636 - INFO - P --> P == P --> P