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  %|\ I Pairing_Heap:threads=2elapsed=4.158cpu=8.092gc=0.432factor=1.957zXZִF! c]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF俕x}Tٝ1<M4Yv Q6N; kue|$8O#!W RW}zbnϸ^kC X0h} n׋`nE8Tg)Ξp όOB檹@dL:A3"%~<+5gYZ0ef5712b0a743472ed02b34b4a8c46a05fc91dc2 2406350fc8727bfbb9cd0b178f37f8c3eedd0690 2b6e332632c847953a2f9ae095c9d6e3ab8a664f 3f7eec859396ffeea85b3d809d324ba3a0c2136e 86f6c42be159badf7e310c837221317e574f6d5b 9a5f18dab761b5f598b5fef1b7e6f956fdf59b27 aceb996a5b707b618f7a30886fcc2ce058098773f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 % Pairing_Heap