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 MM$t| c/]Ordinal:threads=2elapsed=4.065cpu=6.004gc=0.212factor=1.487zXZִF! ]ŗXf1-/6vR[$ l0I/O]kPJ/iL~N@   OrdinalV@*RCwҺgFO`(o8!p;j6%TOsBO"jwC E\.HSutWWr3TeIZL> +T H~TҗBsvvr5ݒPyAL}k93+nhY `*!C۠pX@,c)a).eK ]lU>3Pk6=lʿWE!Wf+%]87!UjE"`ev&#aj#Ѩ,eL'B>a:"`Uۉ/#y?jC}. SJ*7p5ޓEr*п/iL󹲏)%=q@@JZY D?/=7߅p.|u xTXH9`ʉqt ޞ=or>\x3eqcpP^ݛH ȰfX-" 1V+Aʷ~m+WzߤR3Vm묎sfɀ;M3"zkz3+:ߓUt"|U@ȍKzbU3!Gu.,#22"E6Yi)QBUߏ\&zR`\ +e< 2ᷜ\v|2+㔃=ӱgYZ7zXZִF! w]ŗXi%Bx?Q6z4G##VQ:vϹ)cʥ?܎WfsJ ,goʾ;Y\S|{mԅ#CN/v>But(neE'a'صG Z=Gj|6W|cM X+hܕqHYvING FzE =1X\T'/!