SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  u u t %w Topology:threads=2elapsed=5.874cpu=10.860gc=0.772factor=1.857zXZִF! ]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C ó{Qڋ[1=lc>FuIA)1~˷3LM. #zUXfP?d3$myRI/brSc.*YY^!@GJ2?HOh;,#dʟ ibÇh뼦G}Dyy=J5R{.Zv\/A sq om̶=}>Q]D^̳-KD&'Ƚfa 4.UًUt A3ez} !m-6u2|u~O$ MzR iǮ*CNW`"8kv~9bYRy>qeS@''Keȧ4:b[-"$.ͤ7p~?E9|篯wj@8(<+=.L+0Zb;s & ZI֊v;|%/gxt@H@|tNb6ʀ6d3&U)paO{)DoLHSo#J4޲\79cl Z)3> Bgqmqcf?g+uX x:xp|2d?tAt? 141j7ƹGOS]q,hY?53:lg@=aF |Gau[j)ܱ)7ShrG^[jVʉިf!'K>N<%}q}[I1߲Q\DAQW Ҋ? тF׮Nn8qV<Z#d3\Dv/9J@wXhgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f2225735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 84024955ab826d77cab683176310d62f94d90c2f f205991a71b4b77bbebb73e676415efdb7832648   Topology