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 LL%Dd O] Sequents:threads=2elapsed=3.450cpu=6.436gc=0.108factor=1.877zXZִF! ?]ŗXf1-y$DIX`d:w d X    Sequents{`',cv7m<)ki;tN1h* CQ@m(twY|"[`${Ƙ&G⥸c\Xm'fvRRx\i9jF%})gs$݄}ŸWP7K2s;;tlm02`L;o0 u6ح.8)6NXg1m sl{7+x48fl"Y@WC)zd+^l6 )C_-f-ДK$uPRJ~%9zD p埅HdT|b`N%TMD٣1l]-Gp#_~H⑲b^LAK5/iZ+D:k09(8E@|̗W:;9up ˒ i>$^T֬v}Ce*{Xyg/&a;g(]fa?:Vjh^a6(?1<35teVC]tLsv>.03 ՘ꏀ>1WGmF:I(#ϣ!ML$q(cl0s\^gYZ7zXZִF! *]ŗXi%B$׹ub<&@WKcI,1e @~7%b4XI0ѩ+Nam|Ay~[)_Er1=ԙΥU+OVt!AR=^g!lW GspS[SxjG})AP#<ݹHUi>M&^`F+CD#/6R}q-BL3ZQ Ѵ[om wok!?f hVBdzj' weӝ[{ _.ȣ!H|~׋[r9˔g?juZ[MX&Nve7-~}Ψ