SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info yy) \ ]/ Card_Multisets:threads=2elapsed=10.152cpu=18.792gc=1.016factor=1.857zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjVZwJzI9_ۃ7Ym"Ni!3sI4Qʸ$Z#Oi35C8%E-XEnobR&A23!hurY8QXaJVqRa\=x  ȜoGʣe@nzww )vj79辏=޸Ǩ@E=2Ab1hekk($LUuHZOJ#wٝ%p2g=SJyt7rUNwW$gYZ7zXZִF! {]ŗXiɟ1˦rYsxgp9f閷V3yNT>ӸIUP6ǣ38x2 }me-PcRv"++ ,y~SzS^+qv_gYZ7zXZִF! <]ŗXi%;уw%1ŇXR|E *;nM.2\BFu@Ւ_2Pҫ'd4.Gwh-Q,fs+'j7=}ZP 49X9N&PdQJl@RY~N.3&2z 3P^.蹒c!htqdJĦ/fĩu@LgWL;ajDU4- y#A3A?` I(.ՉAQ!gl\y ac 4ETj$DDNdV lkpbrDWٛZiP;x ٢Z 1GtՎy5[xF=Veꥐ Sݓ>FD)[[в=yȗQ 6" qN!pM?36dWqnwɫm 4ٌ9V[9pP&]/6Nݎ$,ݸ475p^epEGg`H;Zep+VBt#r~$xpYzaXGS8y JֱgYZ3913a42c3488a24c1708344f5a1e8046023f1a2e79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 ) Card_Multisets