SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   t) T ]/ Card_Multisets:threads=2elapsed=10.403cpu=18.036gc=0.908factor=1.737zXZִF! q{]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjQ] +lp`gx)&}V_Muc^}vVm_xJhꮡSSD5)?0[@3^(*дNPO@^X%qm4\YF#tI&G!E4Lgޭu7+KBL$d1"Wq8xRWGЂ M˛%WBKCI~Ji]CX0ֿ*!uF6{¹[^{3QSC>+ޫPg_ESZs5qJYHusf"meV& 0}![gYZ7zXZִF! |]ŗXiɟ1˦rYsxgp9f閷V+@[7*fLj&{o'4 CԳ`6M0oZ@O!_3Ea {䁎ԗ0j gYZ7zXZִF! @c]ŗXi%>gY*C0o##M)#8=HiO/C`“,Y8n X/|$¼ >ҍ!y'~BWGLƛ9f ,-z 00]Iz2E[=jEM8;Di1QY3ph9=H-PaR+&у\iR)'sMV3e/jfJ0%2F~(ziVnEіC"*36;Ke1& TխVBɲf QIL,S2QO:"\SSxx |h#/|"j"X [}Tr ]'<ؽR Y$ɄDR8?ofS ( 0_B1 &KΚ-EOTq٩3$ *)Ic(' sTJcPq{Y=k4DɆHPJ!X=)#g+[ZYFItM̫\e O&?@wK 92J ?aAZ3nEp0O_q:7([Ұ*DGr!HE1xB$RkT!*^,|];EPj?M8 K]+TH9Yn:"O@2GЎ$]㆑" H>k{TJr?ϨFuAιw6,!DTIcgQ7?NRY2ݛs º1 v7DMc6^Y D2c4 :,CdrsjSyMG>C>Tg5oX?g4eKFt 6V+6>eջ<̧t#񜓵<{6zc>#gB/g U'e$yn_1U/|#TɐU~,_LJH]ddiG@"8jgYZ7be2e42b520c23113306a4a514319f75e743fc5b0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f ) Card_Multisets