# isabelle_session_info

session_name: Planarity_Certificates
sources:
024706a71555fa9fb5a39bb22e93a953eb5035eb
024bab179d4bcb57c611ac8b95fb6ed8fe050ff3
03c45c193e381148998d714677a4817fec9b91ca
06d57f0d0db9708f1eccabff551b6324b3b69a17
0d624df132aa2e54b02fa619fa707a1b424b9830
0e4e787b46cf2afc20606e68c06bc065b875c838
11a0d5137f5388a5944c3eb0345f8adae0cd08fe
16b142f3287ebd50fdaddabbdf8628b7a720c1fd
1873785883db54cfac42d5b1c388cd7a969f360b
1ca3142835bc9b688d23de4a6558ac3a6a87ae03
1cdff37cf2d478facb17fb736716b3d450d43abc
208ebee31d09c23f7c0c5f5b3ada47a7ee3241e2
228567b730aff0977dc236c9d7d51c49baf7082f
2c84154247571ee3ef47275852cb10c68388ec97
383dee4bb60284cc7229af5017def9c12378879e
3f191c7ee2e376a50078b5509772599e430acb46
45339100deb50c211066aa92bf47163658b70e80
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
5117119a178eac69d137fb85243808da2d667eaf
56e85ec5c6eac33f6d5d5dedf5492ccdc0fa4741
57e443a3fea5ad12945e6af98e0a03cf0c10ab76
59b87da10037e0412d58ed835a05c9ffc41966d9
5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd
677c2dad2b55b9f2627b91c4f1f17caf5a897758
678acb092b83dfc1a606e47d5babc9f8647817fc
688c88e7cfb0daa6190f25b8bd02d1c39cd6affe
69fa907a459182d48b606846841458d39dc133a8
6f74d54d41e5b89ac6594c9ceb0007b3aa5ac7b2
79ad7c6ee51e5406482b2016b13bcdaa487f147e
7bb2894bf6b2b1879e224f67e577c429b34466a5
7ff8be76824a1f64f26a5e29e1a90ba295da15a4
8452e5f62ef25d28cca728ac601674ad0b058e56
852c4b663a8d439dbafab771fff6222b134f0cbe
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
911b79749797ba752d13c89d06e28f6ad05a576b
957bedc484c7955a61145403f0af3f1e61056a8d
96065b30c9db112cf55bcbe78af20aeee6033380
973d6bd96dc9037f8676681fb869d6ae83013aac
98c6f3f02eb8f7c19f7711f9bff9451de0aab771
994e906601e17310bff00be21ae5e216ebc52992
9b77012abb405b5074f042dcf131cceb8325fb17
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a73e6f31a63992a1aaabae1d886da29a4443a823
a7c7640c1a0c95717daf0300c7f7590587ab8b6e
af53a388343863b12d4453c5724c10943d377c74
b296d58d480ada6b237f2a6fb6acaee3ce5e59a6
b2ef92730233e24015b0515488d4fb3a1f4c1d17
b5261f12319e577b831f1d0f0b4d76c47708907b
b5b21309014f9aecbca4af347925e4182c9650d1
b5b6f3e542d896dccdca2defea12a80b97011b87
b768903b7dfa33743184d1eac199fad9be2fe4c8
b932c107da160826fcf792521d1c92f18cbece08
c0ecb1ef1fbc78257f487f9066e951b63c5aa76f
c11beb47edab9b4b6f9b48bf6d27178a7b0136d6
c16611f93e097744a02b24c20c06e2f3b50797c1
c22fb4b31d44c45d701e425bddb33bc2abebc0b1
c6d4563f04eb4ebac2dc83cb78ada71329d6c904
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
ce9c7d7f0607a376c22196b1b3e57197fcb81da5
d5ba16a41ef6741afc6558ac7fd2c08fdf031f96
d7d6ac5a68cd81a8e80b54128cf50638a91014f2
d96da34e5d56a0c504e628cdd1b1e89238a20199
db96e1c8cd9cf942b1312b0c9f9fbc9109e2d870
def1edc3f48f936e3f1ff9beac2684c03f8ae411
e16dd81c25115952353dc50e98ef8842c8109688
e19b8a95a5c2f90004000472cb221908306ff3d3
e21ff2f778634eab10e1d18ee63b7670ea50ba6a
e464064f8b1f94fd133bc9b04d05f6eb68bc9035
ea07fbeffcb1368ab04358e4a6792a15022e958f
f12688546dca338d11e04a137fd36b1660f2a7a4
f3194d44d628c80583c9ae2956bfa858c8d7c832
f3194d44d628c80583c9ae2956bfa858c8d7c832
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e
f7efa6cdb3136f33d3f9bef6865afa7132241c09
f83aeeb3c8eefeaed871fd7c865d97cfddd84745
f917d7d0e15b312ead250e84fd363f2852531582
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90
fb8aa25072536eab2d4fd4e7435a614f9959923a

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
536b4fb07f5e2af501504137bb3916cc09b0d2cc


