SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  % %X ,t ]% Topology:threads=2elapsed=7.659cpu=13.980gc=0.880factor=1.837zXZִF! ]ŗXf1-/6vR[k5Ksn J?=P#Q䦒[Udc$VqURJ.|c(Sz_1>3xGr6S"n/I"KWT&K7B"5iew }fU aEjWrG4jB\oʖ|)^BH,hldLy*?`}D >>Cn˜}sXPdeն%gYZ7zXZִF! 3E]ŗXi%;cR,'57~881b9_I%``,a) պF5cL*@f ܨ!N \~&ÿe'z6\&k"D!%6xPC|^D$'tmԼeW(ESL҃&6%:.zΧ,5\uD8: cyhRnHAm2聆7/bÃ". Dڲ4I1s[ xx-dySkI}gUOh̄JS]cJتοQ$zV\[5۰#xuDaLB%5юY[rUdJnRj= @m؍_u+va|_G~"zɃ~fE\+P댫|*ԅ7ɸ\G<37 /;Tԯ^Yp,[4Cx< _̃M'5>ʡ\,EƬawGp vb$>f 0x*r2y?n"Kvg gYZe04374461b5d7d9c6b7a082d02d922881cd9450f79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 8e20ce849646d33245e5b8e0a39681f1fa96c617 049e3f297970e19a2899b66fcc4d730c439cc23c 4dd5ef11a2ac9cd6f0084bc6d2cb9047b3fc49e3   Topology