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 c) L ?/ HOL-Statespace:threads=2elapsed=18.979cpu=21.572gc=0.616factor=1.147zXZִF! Z]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]wO ]ȦO:_bwM&~Xc4OC]i؜1ϔsl;p6=f8=bK#4%gc5z a|fcd$PN0g ߪn9%RRSFZd{jsob͜-b*0T+IþXGGLs{SԮc.8ڷڹ3f?rc=4SHcſSϗ́O _{蚯KVoQ/Q.V쎍|%DɈj%*!:K=Z)s"a?^cD z:sV,d ) HOL-Statespacek~6iOmrRz;I9Z !u=@LjXбy?T-}3<wW̤FYǶbi$Y;GkZm_{'d.pm 9MgJ;zj! TWPZ& SmCmh-!ǽV۸H=qbꑚ kъm/Dǝ:eZ01'ĠÒBCxX VD!ƿI4yJ"\633;3*R(p!i?q rt}_xgVgX;Zۧ}7 'yv\_Gl}^y2< 1!`tgĎ+v@VÀ2AVdáNc=2HkJT6Hm6Dѕ3G#T8V{Oaֺan+AbĪo6&B}ԻnWѮxtyQ=fÎ[wA#qe:c025ǿ{ 'ߤAU]YB޶+z'˶ D{ZBʳ @vLن0&[i2<왽Z 2wWY0]ʲw͝5EHSG$=[-ΐPE]&d!Ԓ\fq9G嶴 z9h4$?VkR5:j%B9)?b:<$y%k{^x˿#3kʮfY&NRʐ|˞=TB-tg$NwSc= jYXVdlI*wOO1ċͥ2s|!~vv#fm4_Ѻ=֜^g89cWn$Litpc_д @Jmd6$@n=R5м-L($Z̎Fd | @RgYZ1a10cc298df6d2efd8c06d5527c768032d6fcc75 26e40afdb7e834e0eba44f1c492aa43d0dd63676 2c3bc6cbc40c0bbdd7aaa457a86aa2940c328c66 2d2b40d217f1c1a3592bfdad25fc6468fa0474b4 7972d027a01fabfa9c0b761a2151e7cc5350bee7 8761d72ecfb625a03c9ce014dffd9817238a9ecc a9dc8d6e38d2b4976a96c8ed8dc062bfc06f0721 c811f9e5f506b1b89dce4b8953c1938cc733a6b1 ec22b1b58b534dfabf8283dd0e71096382271804 ede24b52ae24c8ae2ad5bff52702f9d05f71d8700dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903