SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info mmd$ C ]Pure:threads=1elapsed=0.555cpu=0.556gc=0.000factor=1.007zXZִF! D]ŗXf1-ƕɸfn쉟8uĠ|B#g p 7N(>=Jj9+*8gc~I0 H >>IAc}<WȆ|3HR s<$A4IRD':Ro>H[LiB9ïKZE [Z;Vj }ugYZ7zXZִF! I]ŗXi%z˿=`t}*NG*ASqˬۿb4M{HvXeJ>,ي]1 Ek=ԟ8X.>( fң[wRV 4pWro!YM?fM{j2Q_[!-E rgh}"8꒳Y3N4 !Y4`a4Tw"Й\cna =m cT;a8J"\E$JwSgl w gYZ0174206ecab4a90200e61b0003cb7fe64c543a7e 02a60bbb468acc3b66dd12ffc1da72f8cf8d0845 047dc2cd5b28789bf62203ae3a32b0b2030be416 07a4550fcb93746421591a01870399803e31c281 07afb1c  Purebd5b1cbf5e63a2efd79e8228a344367e7 07e6c3ffabeaf419fa5a4d11b2d3f44c87054f40 08a9ca25ae1682e4cc0c2019b73ef764a30ab49a 091b1789f93942a364bd70e4a83ca0d62c5aea46 09b40e731770a2a0750a31e8f2a73ac76201cdfa 0a13de52c107c26ceb95376e284c7c70eef5183d 0c0ccaeb0ccc6cea453e1772fa1b3dcb2e2277c1 0d1b38b062f635b4304982395c2bdfd252a9473d 0ea2ba257076a4f8c752a90334338019e3c24bd4 0f614b7ee9a44e8e2759ce3dae017d5099e36d21 1021dcf732d03f201d6a5c0c9b50ea47617c3bc5 10a07085c2199f5bef5d915b29e994d947615a79 11cb7631cc9be115032ca2f4de234698041e9b8b 13f3dd9d90afa5e3751f2fa0884529b4ec5e7e0c 146b65ffa4ce15a6323ee4569e3d87e066b96a6d 15752828c269eb5bd3d001073452348b71ee3284 15d80c8eb445cd9feb3c92cb619f1d65b6930c71 16ac0a71a910891f496fb7be64d1c610b2ab22a8 17f7ee69d5a65d7ede44cd86db00486ddac1c79b 18267e5df2039a7fc058fada3314d0bb7f3936d0 1ade3e23c0b6dd873184d2f845881f3719a43f2f 1afa4cb0deb17efc4ef49528cedd835aa59b433b 1b8f60139c9cd87235e952b992f06f81e09e8211 1c94319ff681c1fbf5be2beb806d68a2ec4c75c9 1de2da42c30a34bd19b88b619932ca973fbc4c07 1f12e11a2567ebca5a0a2f5d65d0556407905d46 1f708ae6a9455c0b2133380f828f75f1f07c7873 1ff925d031b6900b4fb18e35f6e4f84e97b530cb 202c4fd756e8a7f7f6e8683f1b993c5696399917 21952dfa8abc07b2cfa1cacbb494081b05742c34 242159b2e40ce718b3e11bd1f297768e20893439 24b9059600d59be733a2cbda73518493c2912560 2577c4c2b698ad17b1d8952edfa223531fe27a80 25ab436b46fbc1d2096d44e87101ce9cc557f60b 26368d45758ce522c8743a4bddefde9265393a3a 27a4d34c98cab3db6019dce52e0b5180d08145a6 2948978566e21128dbdf27ef592eb7a5dc61e9d0 2b37b0d2e300a47b96946141178862a573ebc20f 2c36a68b195fbec24207ae0c0b63c8621707bace 2cea3463da17403aeb3019c166c86be8bfde4e4d 2e75db0439d4b13603fd50f785f442a84388590f 2f02c0f7c1cd52a5d146ea1f520e4b42dc5505c6 2f42c28b7a74c1df40014d4f75426cd894189082 30a8609e5bed6d22b08f1537ebb9ba8dafadafb0 3165a07d591a68bcfc620baa09e8206327f98ae7 32e8fd6067495f4599d5c61fb1918f032c66cb92 34593bac548f8ca4c2127357845c9fb87459dc0f 34da11b2852874425e15683f6892ad25fb95fe12 3505854c30f7e7e5369a80e05186cc434e067e00 35d9f0a09a41729b61cede078d0982760ebe208f 3723fff32ccdc1807cb0c450337eee48aa15fa99 37dfa97de55e06c12053a0ad995a21b56762e689 37f29f6fbc2c724b0fcf06cecec4f86b40ac52fc 38e040cad5f5fbf75cf80561500c3cf720f03934 38f9728c00be81d8972658590c2194fded28d2b7 3bd55164187cb504b23e305488300ca4f9a0a843 3c9e8a6b4b2889dbc882422f738d886ea33869e8 3fd83f2f110ad799173d8ac298f3854ea595948d 40b936dccb44d64f1b7ad44d79cf3c3946a614db 40d38351ace79f30242908574912b9956c241316 40e72ee8c60eed012c13c0aa4196b0f30c375b25 4417d3d96cf1ae5b5bb7eb7ff7137cda07ef0658 46517145b916bc8b9be99ea26b4f6dc59d9f5138 469039221a690286ae653a4e411903d547677806 474779c53af09b7e7df278fdca4b8e95d8921122 476933b41be47d63e423bae2fab262a7227207a2 48df5d11d98f6ee7e698292efc9b41caf5e3be8f 4929b65ae2b41a0c6fdb23887c0d7f7cee6faf4b 4bf4cbe0e549a1959b8ecfa82b3b6f913a49b748 4d4b280ba6bc0a7af22bcd8a52cd39939fb096c5 4e1b580addea26485f0512af881540607d21480b 4eda42455bc0469c74ff1f11c81f0f4b66d63004 4f187a0f097b09f6c6bd3972645c34435fa2ac5c 51a3c5d2aa1de40adf9ae9461b3f2ac7fb67a31d 529be7164ea3d21a87a946341fd6c4e43886d182 531d6bc8c743092cc3b5874fa12b9ce87d063426 534a4a2380d8806615b4bf4cf451a208d1962d1e 545941acb82193c130edeb727868f8f7bc743ac7 54e0136f4d33edf8a658c2b263df7747fbcbd835 5538214a0d1d47148e114627b7ae3ae92ba8606c 5558852fbd3459af16d7370a69ec463262818f3a 56265999d2c965a8c3c843376c72f5ae997b0cd8 56cd60e58773e0b0fe2b9c13ff0526e8fc5e415d 58dae70fada7c411bb51d6d343353e2baef71a90 59cc6e1764892d38bad2bdf9cd2cdbedb08196f6 5a976596a2b29589b9681ed31519d6607e481efb 5be13831503f176b5599bc5ad4a00053ca28f685 5d0b36d82c8456fafad1f89020bf645b3fee7089 5e576de5a90be107a4ef6f9bfa455cf1dce2a113 5f302cb2ab9a8bb9597e744ecd63c38328775de9 60211fb9503c3d2c89aae42b19762a21a5aff89d 607b6b06da26da9f12138a15bda1b4a5effb9e76 60fa89205aad48d8992a7310d6e278c30e7bfede 6127cf59aa02de7121074eab60d49a868a8d7ae3 621435d6cc465664ee9fb00de31e61b57d8a88f7 6230f364bdf1ef3a1cb6c0a88a2a6aece784988c 633b12a75167c333749a504d10c7823eb1eb23dc 63911409d235cd96ce4762d27350fbd724c480b2 644d2684e683b201b4db8c29467c225e1ab4fb26 64f49c723fdaff84fa4876911010 1a97ca7a1c1a 654c985bb79ebdcfea316423400547f279d589b9 65948687cd413e2caa77f05b21683a0799c04706 671b4ceb6a1ec889db7e5ccc609a117a36681940 67b22ab41550d05c870e886dbe69d0aa1a494bcd 67f7bd3975210a61f1327c5a2ccac0b611773aa1 694d06906fd7f425f2cb655e67df0630d3360037 695fc34c549bdb050953999a3bb020ae8924ff8d 69a228fe7bfb019e8110d0cfc644c9f927ff8650 6bd3d89443d1bc4adecdb063965adf0684b6771b 6ed961bf0e66759636186def36e9a0e4f95cf447 6f9d5f178d68444fba3b352611f48ef9b1251a90 6fcf6a715c5e5d421c077fa5bdecd458c50eb980 70321886b285e8e842999a85dce264198ac4a929 713076b707f4a0255a68afd5f7050b3f280637a5 729a322b4e74d78421811bb2d88a7a20fe2f1f9f 733320ba0b58dcdcd3ed41a2369a1be619d495e0 735286b6ea710eb65f936d8c24c4778dcc9093b4 74fd1122051d4e5864f605ec665e9c78893307f5 7520381693f23085cfcc4987caa6e67616931ea2 77582265f2d0fe0784d86352ed3bd97869d0e30e 77ac8b01ed6de78b86b3b6296a695ee426efa6a4 77bd1bd3fa7449a2a7cc657acaa30b6a4fb69265 7918f0cce469899118372aaf3d28b2cb26a3b768 791e4468722a3d2ce9d8025ace04d0cc0df0dbc9 7a7396e7da23c0328c4cf84 6623a6b05ecb810af 7cc07648b3915eb2d95efbeab6a7c06dd23c7cb7 7d606e9a3f77417e62b73de34b37bb30dbf101db 7f2bd282f9be6d6fb3f58c83dfb1f60966ae532a 817bb52053e29725b5ceecdcdb231e53c30fd623 81e120b33435a8ef1ef05dd0a2530e83cfec9ca7 834d398e49cf862afb323bb73f39ea29b83f20c5 836d489485f5d72dfec3071fb50cf29234fab644 85b4103ca73ce2044a8982e35639bd5fefbb9c44 863c5b603105e6108e417e18238d4d285c70d9e5 8b84ee460113c373981bd8cf1e8642400299f7ba 8b8cf1f25e2ca211b8bd3bec279c9dd749de739f 8bd772c733f037da5464a0fd19a3605c6542fd67 8beec19aa34701cc2867b316411f28be0ad5ab77 8bf36e2cf86b92da36b459d35b92078e09713eb3 8e2439fb18285c122fb81481b70ae78205f0e7d0 90190d12ce6771ace009af434030541a5eb804b7 919d3e16eb491df720d77cbe935b62c8199b69ab 920f9a4605c9b135835374db9e2b5a7dde56423d 92b8b83d2e92f1f1a0830f2a05b8a05b60253250 931dce3a1e60430679d7c53a4dd3ca63e2436899 95d9ab804f0ad2a65b96754204e317e02e194cfd 95ec8cf2b6acac68aaf65c202cc0dfa42f739831 96129396dd66a5cc1762f0f578a4beb08103a6b9 973ecf7b4cc601ab8b17228fdb7a4bf5d1434c27 974740a72d614ac928 9aa5881b9984ba7c4e8768 981472b4e4facd15ecd693be40216638c26a1526 9849e33cad46ef73b341f8605d8ec5031f1e7ae0 98659892958e57638eb0c3381d79bd86206d98c2 9b00e5263ea9b3fcf92a18031c401605c919e10f 9d50b1440342308a17fed588a0fc90ecf2d4cf38 9deb4b70cf0667a7f6fde25227032a1ebe4a674d 9e4fb4b85c7f9bef15569269e4a8a84b9d51edc3 a20da3a071df81a3f63f074f8f97bfe2f9f225ca a21c4f518db3c94275d02c431e509094f2ff1092 a225475fb6ee5ce9420a1961385d073f754cd813 a30c077dc9eb45d87fdc8876d65130f152ae548e a3b96443d529bd47c001da109866e7d0f31e159b a50334f243539cc20c133b09d1b60be389369ab5 a5ef76dad197c2e27af3ee105fe2964d71b96864 a5f189cfc5782bfb2e0411523b28558d5d7127de a78157b66763f125d8d5fb419a585283ccdde870 a95f3e71b389237464486a0257c47d44983454c0 a9cc9c16c35e5d8e99f7561bf291ea185a38009d a9d79e74775e752ad01192ab385f530b6d59e8ed aa5418211f7de6e09120704eca72073aaa806afc aa571e909f404c5c1258caabd60a017257e24d0c aadff114b61918d2dd7397e9ebd76b5b66f31343 ac9d981e67c92343b2aa3f3b6631cbc94089923e acbc6048f53b0defb9c4ab8a85a405cfcb62db95 acfff86d8508a 4483b58849ac33155409441a9aa aee871d04d4a626711144003ac39a4e2dfe5c265 af0831b1be08003964dbda902350f6859ec1f220 b046832bb53724951c751233071cb686c06ff998 b226dada67f0d2a0d3538d4bc2c4e5a4fa596eef b32af7bb576e40d8ae795b2393d1ba73425b0d31 b5999472e8ac1c675c268ea65ad6c59edec50f9b b632122db850097b7581b2ec95d0106933a7eaa6 b94f86826e14608352bee51cb8276399b5423686 bad32b539f58fa5b2821362d75bc6734b5e74dcc bba40ae3bda781bb83febfb58b6a196a00085654 bd69dada09c85804688ceb66c8bf01f5f3396fb2 be68edccc7ff5b5cc1df385006ecef9fdd4329ff bfe02bbdb66d3a57642ed0a6d9944b2d0d4fafaf c1d05267b806ca2a0777c621489bfcf3a54e17eb c3b56efd03aa3c9d04c034be142bc9ceac33bc4f c44d1fdb6f5554e7c75fd32857bcf3f05e9269fd c73a23b25dd780d4c36851d7cdefd22d412f2e74 c834ec8a3343077c599bf0581b5cac6a6308fb86 c881b8bb2fa3e9143df2e29aacf0cc40264a2dbd c972d5a13d5cda39c8b34763ceb20c350c6d26f9 ca22dbbbdc333025bf762febed319c73866e7e59 caade7a9f135123e03362abbe4cc5c867a610a12 cb73d0c276cecf3e4d1c485bb0b142739978bbc9 cb9728d15363a3fbcf61331908a8eb3b4bfcc979 cbef243f 89c3d750d6c8404b4ed355369ad94bfc cc775c60897dbe376b89e9ff5b6d43a7719b590e cd7ca55e617c91ba73100435d95368dc229c03a5 cf592ab260531603e403765029dfee812b527312 cf93b2384a382b5e7d4b0da5e53da8dffcba46a8 d06a0e4eff7c6ec882316a03836d90996cd4461b d1c42dfad795754f56c6df962b30e0f688647ffd d2bf6a7495b1d425a28b761f38f8b3e094dedc1b d6c2e1844966f96858e9dd514e8b9b826542602b d7b0d549bee28bd4c3619942c21d5ccdfbf8c985 d8dabae0ba2c3ae519230f1b9e6267f70e0e2a1e d8e5d56b207e007ec696868bbe230b2aa70f834e db024a964acdbf0233e0d7e5e9eedb1c23b32f95 dc0b37865989fa97e75c5dc26475a00405c97a2b dcf56a0a24d21bb21715aceebc1bb60b49de9b0d ddb47a178dda049b97550327fe25c21660307d4a de4d4d0e617eaf235a0e36f308952cad141ad05e dea5f5e416a3b8e2d4e5b58b1fa0d5965d415e15 e23ad3b0314def6bb9f8f343dc6e4c25b0edec8c e2910fe9b280f763079a74a6de35bb0d0add8202 e30591e2af505d1b77cb6f40c3a68c47b8574761 e33919d22313fda652a1411e298c43592c92ec2f e3a6957fc39b46cfa3db2492194bff1f1719c9bd e4381e3ca09f60ff259a5639e9f1e94e0ab98296 e4469f62d4f5e46aad0b1b3e4b0cca776cfb0fe4 e685ef3c3aa1c24cebaef737898f8806bf53e587 e82b2644cb53efea6b2fe91bb6a84f42de6ee605 e88f88165859020d8d7d55e04ed5a88e4126ce5c e895466ce4c5993ad2e004db7139074f71b6aab4 e92e06092976f1d848894702b0ff6c2a151f920e e96789049525ae82443c42b557dba7f4ccc05a56 ea9deae62a6b5e15909a7d88eaec5617d1b4f516 ea9e767c14ecb4511a5b1a489ae531a595e31c33 eb244ffff2a25ba16d0fcfd31414e254d972a042 eb8c0fb341a48b55fa6a2f917ad1674fd43bb284 f2039b7ff4c77e75d8dfe5e3585b8dcc3f6ccbb1 f3dabe60565a4c8395b9d50c9b5e0681a0ae1b8a f3ed9a2f5c897dc087040c557a695aa06392f848 f51314e392c0c4c126c7852a76c06b1c4051364a f60850022f9723894f29bf10d4ac948c719e3d44 f79e29ab7e341f19cd5c93719ebb33700c0f0097 f91e4f0c78ee61e2b50b0e5c08fc6b38843a422e f934791a341398b24248806fd0425f3685af2b72 fa957897cd81e09169e98e6be3c7909d10a9a99d fbd2f04229f307d1964733024d7f8aa369d27b03 fd16c7f341018a69e2a11d523a20b0fea2770472 fe9187368c7046514bdc0fd32bd987335082908a ff35bbd207fe25e0d0ae794c4a6a251167813bd3 ffe6df4520367431b40ee40186007656a521c91480f4c0c8eb04f92fa9b72ba73b988fd158f20be0