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 -! 2}(77oF?) /]C]m.{6]SppSo.+H|-k #k;b0ڄ hCkjƹB950F*,eŽ/ Q|EFQr4 P]±gYZ7zXZִF! 8O]ŗXi%}ӭ0]P ː-`|ŅSQQE6hM-/olLӱb0e“nB@Iڦs~hv9¢!Rܑ $$#PFclScڥ~ M uA=h#2VN^̈jrηcuP#GiQ]`a0o6U;i4Ёv.?˥"lɰh`˯xϲGgGv)[MW]dCuai嗞Gq\d7ٝoG3Ly= Z?Ѐ;_M3"޻lQ”[릙rA fR-U΂9HOkyb4JA\ATGnl^|r}8X'4;Fx HL;νCm/"=py-hRxͤS>is%f@r=5K5YKv}R21فy|oEs7}Դ˒U2GMAmcEUmi/¤b˪I~ZDP\}.GB2;Kn$BjȳU&EW a2-:K1'Qs% R%Ue3[XjkݒMuϦ7fa$U~ ǵr$uҚ F1U&Elr)(ɾB?du|hIpaNk~=Y)fx.b`@.pfWpxLgYZ349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d8410ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 b73a2409b8623ee3a573dd89384e9fdff928c848  ! SumSquares