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 ^1 L< s/ JiveDataStoreModel:threads=2elapsed=13.603cpu=23.992gc=1.160factor=1.767zXZִF! ?]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ W bQMS`] }=Aș[@%1`vSSmӬPW6,љIb]w"M3K&*3 |p@PMФd}p9`Jۖy00f#yk01 R@ޱS&מK^?ey0l '\5\<c9n@g`!D~(jCIX,w pCr -ƷqE#IF<+x iAtHD~th\p<Ʒffq2=^FUU&a~ ~ā&i^;J*]@-B}y~Qրt;0Lb$_M kmȓ=p i{~nu3Xt.DPFV27551-bG cf\ ̈́g|pĀ{ޓ PZ~r )eC(R>տQ  qǎgYZ7zXZִF! J]ŗXi%guLB~w3$eZ5+$H)kx^.W .9|x̨ckCű;Sr&IkVk g'?H<9Ty)9~Yr!us"nڵ׫r.\%mk6~ݐ 9HZe^~d`Z;@P2CrBHl$n{>_ ƓC+6R0>w9> M*Ôga57Qo& j഻m#ap cn?hअڝ`eWYq64_?,]w>&DУ>YD^ڮK8 yĔFl(X<.Xpq^+pŷM{w>::Iaw,rEX5#_'ʰ. 79A'4y0}I·o×b'%> n?;!_̘!X-| zZh-v޹F<~5kagX^j->CqՀx68tNG8q .G~ZlCvnS "A ЉVf]bwYtneDfx?{k a⚑6dg/g 0`bڠH2`?ܽϙ;CiUܫ1 i(e*O1!/JTR˖)1x {x3R/(1hM>c[BVIp')ъ>De#mdؚ㼽m&pDTxyE="18 BV8?45I=mʊ3zS#8T> vh =UsCy4pL# ~Ĕo#ʤ_KڝBiR~:#C`_G'S8zS jx c8 dsgYZ026e82bdc883e209e95ee7182f179e9a51dfea19 169c7b0b8bf22ae334ae1dd0922e05a66567030f 4c806ff3eeb294bc1497f30ff8f5e9c8100a631a 4ece2e7d462effd4d763587a3986f069689cbfb1 55a9fb8328f80d8e547cdb93d4f21377ec709063 600be4dfb96c96f9239c609c8d82faa9d71f7db0 6c33d46c0057a2b99ab1bb320446117d7c11db32 6d36b4dd7f669f1b63c36b0e453bc9b40bfcec3f 70ce409d38ede16b522b4fa352a7a32dc8d18e08 91cad80aae39bd03a63371f3556db575ae5311b7 a55c24deb47f8cc95fa002619e42b3382a09fd7a b728e68fbb56eceb268eb6fe7d26dc189effadc2 bbec8e70538dd76d3e6e74285fa4bee9e74a3b6c c4a712d8133b4854537888aac9724663140bf2e2 d17ab5e06f74269a63fb59d9dd87c6ab113927fb d27e4dc29569653b37d9d47696fb0b1a3802fa63 e3832e941a546c1a17713964cba57e0b0da6211f e6f30532503bbc60d1dd44cba068487703b6f332 f4ea32759ba07ab8c234ee2c868288124d535e94 f6aee7989fdee8dcdf7c9deecfbcaae5397c3385572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb 1 JiveDataStoreModel