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 44I5 D  Lam-ml-Normalization:threads=2elapsed=10.152cpu=16.748gc=0.788factor=1.657zXZִF! G]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 $<˭p uKd-Fk }[ZթG+@O]z!_k#`aIre{ Dqڌ;2)u)Oc;{V%`q}k} ޔ&/ptK,世Ŋ@œP$ eCeuIB *.k /ړBgB8s0VKuEW"g!N(7e-a7HQ&]gYZ7zXZִF! :s]ŗXi%6yN t~O_%v=ɞe W-<֟E^)ISZzT]Tq]Bjw:/8A dz96ȟlkDOS7Y U=@ w&A )Pvp~r2Nh@3< h5r r^h)10?8T6s9)Գq; 2bOZJF|PmS)/YFrCc]"ԉբ1FHZM;n;m"`<'d7@lH"!O~*"9L3*cZLkZNV}a%k-䇉z+ӎta^!૞&=a<ޫ]0slӣlԥ0y'VKywz"VSFeEYs*O™V9akBt`#gYZ41caa02d23e239f82f825159faa07a2ce18fcc1e 4a49da5adab9c9b9d878e1b41b1fe17f9cb449d6 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8a7ee9c06386d9f09850521c5ddf20f3249a9540 d4f60f18aa580163f9123b4864e1ab9c83a94e8e e1fb0b476d54d8cbdaad570f423786accca8bb9af0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 89b605c92193d7cd5766d91c4c315e9aa41d127d 5 Lam-ml-Normalization