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 bbtL ]HOL-SPARK:threads=2elapsed=2.452cpu=4.112gc=0.120factor=1.687zXZִF! L]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊ,h X/ux *ù ~#/=8$&^-[jޣ̔L^O>X-n#3'([S̩8Pװ*m' sz8[p`5/T5.vckScL(UV=2p![%'ϲ wMmˣ+FEoo !x/a@#D&H%~ Pn{=R+_ʾ<-@u ir5iS}ev}ΑgfF{\樏VDsmW E@ĵ1p:TI~Tf@%CeWBIpD686p+cZ/1:3*=˔N2w&nj͛)ߐY&T‡2#QV]Ex*167x\(_0Zr\AI$R gYZ7zXZִF   HOL-SPARK! ]ŗXi%DQ&M=Kjd2 ʲ*oE6ytvR>Tаmgq"S&Nky< r!w:?PuJ4L dTէ,t*Џb[f]^>n/O:bCAf]i`hUs3oVPNqs޾-GA35HqYk±]y{*vRH&:V8^TkӠopVcNtr~-N9pjSaG8߬!"_f,;/s?ˊmzRip{jYr:k4ot^P,9ܔTDY%[<ǽ0O^;Z7T Q<9Pf88^r N^D戬:ϐT03gYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a27df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 43a0916975fd8fd7a39f263ad02cb82da7f4216094a7d7aaf6547036b40a4243c72a0ebccc812e9b