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 ii) t$ ]/ Card_Multisets:threads=2elapsed=10.693cpu=18.560gc=0.884factor=1.747zXZִF! (q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjk zC>8V]* N H#teuH`&%P3=ziKXdTށ&sEmPF_Pܫ1}7@fc팮d3~=n\kG@\h Q{`Ew1 =Cct|9r Lt&rs5uKI uU9:ݔܐ{%ZQt_.S~mJۆ&(w a\QpU8n7a3G~b-JX5E_ A:!vH4I5 Ġb)Փ8ItJ1wݤ S)ʧ_yj0@e5C:2F­q뿖kaReO\qe&N{qdK۔؝iyu8,Ӥ"(c1ZN2ߟYl X@\!C9\s)viA [3/hq6T|@VcjY-Ed4Fb(,"xw !_%7(톁.cr!?YU|0]? zUJ"f.*Ow|#rEH ӥSgLi$ՔkZzRDrڛKpi# <<,CH.AGnRhfgYZfa1780f990bd84956cd9dcdf34e48a48242f381600b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 ) Card_Multisets