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 E\T c/]Ordinal:threads=2elapsed=3.830cpu=6.304gc=0.228factor=1.657zXZִF! ]ŗXf1-/6vR[$ l0I/O]kPJ/iL~N@V@*RCw4GT0Z7XTuKfd܈3 : fpnɻD[Cp'@#>pBV9Ĩ z] JwUlYYCQH8x3CbFXkyK2w]IԪڌALF>RψHztFOBW1Pyz:$C9$o)Tn0=N2%?x#U{1Y÷u$NW$mO?`c?ܰ{0*cKx꣙5Os2藽g%~ MH Š/4WHJe)+GCd=-MPkQ%Ln55/CO'*]9gsΐ5OA8E5VQcu 3(ڑT"ĩ:b?*CGg<6g6kqv%|؅ЁAރ.mJA6.ܓgYZ7zXZִF! >d]ŗXi%so"cD&\Smű&ŷ!ZꉼlUm巴K4UQI\ŹO #4o; uV")oN|'O,Nlb)i0uYIDmG9۲``䛝wvбTYnK,NaSx|Q@'ֺ}GЁDgs-! F&:W]֜S~=u~Psu^gAdy& x4uLmw:[1mFx:"-ףc[FK@Kɿ,d݀vLFPrXl#|f#s'X>Cr_$2UI+Q,vbD">)i"VF^6/0GI\`Š*^.+OD7jS]v6g83}+( K*qK;T 3"@=2x*@Ii)%Б%ly^0E,"\d L<M e}gYZ0ea07e2eb048e5f1c7380706a7afdece8a9220cf 0ec36d7ca23942e0d8211bca3458e89df4086332 39fb1256892d3568b8f6150d61ca445e5012297e 4236fc5d5ace4dc812aef1bff77d50fb2f4b345b 46c634f4b6a44212939795b955d06be0f45a2c19 6da2e2a0e422696be54ef36c23980e1e96452ac3 7ebcac4b33b5d2f6eecf065c4dde00b693ebdde1 a2b9477bee35b79fbcb096eb5e777b0aa5666887 cafa73f3ecdfa81fad98de2057649d95f9a4779f d401c1896f1849accd5fc7c91c3a8b9b46ca9be5 d439013a4cc84688243731923c489a1a610e6155 e016f822822bd2151544565aacce9870a7db45219711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9bfc36f0acd1ef49e2fa83d6d69f40f81d20afe07   Ordinal