SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 8%,\ ]/]HOL-Analysis:threads=6elapsed=297.099cpu=1324.408gc=94.216factor=4.467zXZ ִF ! X!E] ŗXf1-q恈͐7ӺVw;GOy:Cir8% NVKh^̐n>VA#6sd:^mtLbX`6aDZ?`P%NCF::1*Y-02ƝP1TQHlS-kdQT)3GOJJ32t+Od~ݺyǔCDU Ws*GZ-E1ز~H Ll(1y\L.P8'8'Nr&F*#H@W4hH,6?Y8@]kiۧ;"dCpGAYI<]J9Oa*e) &"%JF0ES"H+{!D;N#i+U@ސI ?wMXUh"?7^6'Q*}˰;_KCGy/I/:91P~/o餝3i# stc(uH#cLB8= ;M"tEqM9Yi>!#ޱ ?30:}^ d|6^ b)2uG"._mSg_"$J5Lh 0ACzj)%MKK ILON$E{6ٵ7SP+#9w_ (dEe\p"%9 (b')Z(.g]ɩ5E>(8Î<'A6RxQ1e`/ߞt?x_?fn8H\{g03]w=(X֍&}ctVIE:t '8ѳϐGKFE'{MB̀I);7;3y!;vOPfEh<@$iUJ?{ìONblx[ֲ]P,3/8r(ą18*K[f"9MXMŷΡ@:#br(@GX#^m2Y8L`)o%xgexa֜ <Bq.