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 TT T O/]ZF-Induct:threads=6elapsed=2.862cpu=10.452gc=0.356factor=3.657zXZִF! +4G]ŗXf1-W_X vL7Blv!~&L]>atR!_Jн{#GZϢ GrXLWL@2͚3⽥:@Y5&p\x9S,fXI:GʑrLB--\ĵw0XsICcdfYA ,Y/5$to&Va#ld?GL   ZF-InductWx0x?e5y,5llVUKc|t-t$nʚC>yYk0:휽0(֯ìv']nh>W:_؅0&]sN]/E/^!CF_>[KHɚrdZ B%8PqdNG SU^fiב /]^Ci mnϷhnu`#?3d[psfкJV:- ]+x1WvHI~JPDy)tAC~'(+›C]ow}z1^U:@%"j  ĹmDŽ-$QWd~ AN%ߦCUP9x-KWMA "vmq`B9/3j)ZuuWe(ւW`Q\=-~> KQX!:αw{\| / 0%3|0^ﻏ` ll[&z 'Vh!gYZ7zXZִF! u#]ŗXi%V~ #;HVÊ_7zH5iS֌ɘE9r GIS[">;*xEڽgF2H_^-X߱;: !e6YkJʙ]Y/YIɥATkuʖj$8a-|76 !YNC$p~t55'FH_9BZ}"q4ohWuˮv,<208y)Ms[,DRHGI !pyh7'! r(ʂ)rC俛ӕA>UnҠXlXzĦs{hYD7OX0;Y6x@ u.z G%KvF=^ 'O4$]jm:ջQ/b&,EWQ%LTehD_A 2vj\ =LX2`@zSl| & FgYZ18218eb9e9f34ae93dd5c35f469bf3ce1a3f2eae 25d36e152c256908a18b0792a5344e6043680b74 2819d322b509e31af00bfcdb2460fdd00aecb9e7 36863080348d1714da512ceaa1cb6bd2523e0280 54a2b9cfc7b1ee599e8551acdde97ea61c960b05 55ba57f7221bd3722bb55c5d9e313c6b44d53653 57e5d2a67cd7b81d4bdf0228ddd9cc5c5aa84925 5908d12ee51e1685f9fd0112c653b511019ce95c 6484222b7029159d8903a4a528dbeff89b4b709c 6a23b0c42d6faf775a48365c357f108a2cc76b8a 6a654df147c506e436ee80ce7e742ad58bccf06a 7cf20fa1bad82a873187163fc404bad277ad5029 84c253a9bc8dd2eb8d948c12ac218c1ed83da117 9260e358cebee6fa0aa6fa1eb1b1652924a55bde 9dca6ad3b1a955fb2dd5272bfe09cdce1bd83e0a a11834af04ab1c630562283c8c8ccde857e6b8b8 e619331dbd8ef867353881a9d44cf095ae0469a1 edc4d1779a3a5d82f56aad55f6095cffc9871aad2eca16bbb2d69d36887d7b69b1741e1b1f3c8a22 1f639b8cb582eed9c989d660cd4d83e7e90f2f53528ccddafed315f77691702b79620a73fbc3f07c