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  9 9D+DT ] HOL-Hahn_Banach:threads=2elapsed=4.413cpu=8.476gc=0.284factor=1.927zXZִF! Y]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{$xA)0HW 31L3?CdoMjDlWE}&`m r$JC Q0ފFJT@} )b:ޫN+|} W9fߛC$2p&]|R8vȚٱgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļ-^`ֽv-CLJ"(DSś<V=/wʶoVD+3*;gǡ?כ-\('B#0 9)/^-Hgu뒒Q=zԽhz~W!߆,&@57!20Wn me 6~nl3eR_PWnȂojߨ'҃A (d|zVkgYZ7zXZִF! )]ŗXi%;XQB&"‵;CM:23DӣEY7I5!޳v^ґY ̖Yya-i Ĵ/lю:\=~ip'T *Ch=36HmenɕD9[x '!l(趕\S, [F䶪cuIi=wzN]5Q#$w0L T];09QBu@pc G-\ ӟaD@=hض&.%wpz2}Gy)UJDjRۜJ/?FB'1߆P%:l'2a&T;E`w.RUڂFgoNæZ돞4ɤ4qWf4]gtN3{@jS+/Zq:y+1M֝XCgH[558dTU1X[hM~{BN#m@u. >0 o.rT$<}}## vm A//oocSa1DZgYZ9f3b021ecf3bf3362606dc3301df1ab2f488774b848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486 + HOL-Hahn_Banach