SQLite format 3@ .  YYQ77Atableisabelle_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, "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  M)Tl S Card_Multisets:threads=2elapsed=2.097cpu=2.612gc=0.000factor=1.257zXZִF! a]ŗXf1-/6vRZy_Ĭmu uS@!bV(\^gp@T>N*T"Sl( "+Ѭ}ܰgYZ7zXZִF! Q]ŗXi%6uJЬ{Եj5g2Ec$6_13G~:Eڴ1ԯ}>Q:Q['BΩHq)7DVBhEX*޴BDZY&d*gbZtŲ^7ʉS%W.1\x;;#6Z^bCYcXs4K֮zeIHvDOdl$RRt;K.*,vPU n.,2g}gơ2DZ+nkO`Oyϖ K8g( IGJ+*n*ekՁcv%]ȴv͗Pm'gJg _8wvrH'w04Π "^vӚW_7I\$r ܂ m%de\'B<5T~[CFkQ/؎RLl)ǨQ XE$( gYZ17121d1b0efff645d67c12f006d70e5e1a0ff510 6d78510687836311fad9b59e5b1570f50411836b 88bb82c696e9f8c1993baf814aa8dc1a6705f83a dd88f7e0a6539bc051c8f084e89ecfe207dff28de4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b ) Card_Multisets