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 HH-5L4 wS Card_Equiv_Relations:threads=2elapsed=1.187cpu=2.240gc=0.000factor=1.897zXZִF! `]ŗXf1-/6vRZy_Ď4/` Nz3 3[IB~Qݑ^Y1Y|lP|5kuФG'SYwHW^rQ%Zr2c(bS|y)`$I+ #ݓcFȞU-OIȫW3rݙLe6; N:}޶ /vT3~\Džy(ڔye,be[(aNqq 5 Card_Equiv_Relationsf ;I0sMSBVSk].Vi*(y{@ GcvgYZ7zXZִF! ]ŗXi%:4liհ~v:~7MF?Ղd } J8ɇ-^')7%~3Ja}1D g{jUl[ 8 =:6>X(a {n@ (y[a*9ҜlLAw >ܗW3w0'%b ;jmvOU3%P'1,ҹe^M-4Mܸa$,NO'Jsu6Ū i#ĩ[pӎ^mCnԽv b'C+X9U4ZاA0]*6R`@Dt^J{3 CdFlC9̣ASkS1F.wHkǯ^ʌ)C')} 뽯