SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 22K) < D ]/ Card_Multisets:threads=4elapsed=7.307cpu=20.040gc=0.556factor=2.747zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjVZwJzI9oM^㗥TpͶSs, A(gHS `A< @M)ͩRgpp}+ B6t`GiwM#>wξ`I% juu֣Τ&/#U.!ccQarS/Q=Elmy ȤRsڂOm'ٜ< ܟXs Etgt1M`,mD(U,Sg7*bҾu'uv]tEym3.D֮{8H0}%+}/קG $h D򸌌™#O 0p5#.В6$eͮ*tO /#gYZ7zXZִF! }]ŗXiɟ1˦rYsxgp9f閷V=zoC gFFP!O?.btʣ)L0(>+sl81Ǐ[% zڏ_'7NZvcngYZ7zXZִF! =]ŗXi%ES3i_aw/^^MPJ)1DV27tΞql"E\} 60"\WBғ%3W W?U>°/QU]rP`׋ސz:E4bƫ'v7ݶ6=_r)}Ǯrv\iӥmSbT/MIiĆ1񜗤?Mdûo:4F!reg>zE3UkLBU߽:E..`!a%[-R3%%(0}F6vma4ZqNB'(^z6SY =LP?~sD;M L 8ȟK.9] șT\]S\zO{PmOxD5.j p^iڭh | @ YvbE"Me_nj&#@UV( `i|W/VCoRоy組صyU!a&9j,)`̼'ևNdyq֝M A %:!( pRՒ'@+1l\{ Zx RR\YӠ>1v9}Lf ܦ i c'M{! ^[-V?lp RAЇqEDjxDo@o¦w^)t{b 3dC_iefyw )ѐ#VOWQLSCzHB^oX a{, ][Qy_aT>S}YS4 !Rx[2~דI\"#q1/C+[#$rWj`zN?23ى3a3\{c[sU-Y=N%w7f?VTCU:hw՟} tqAy~vChn *:5}i2WYGAvהylW߂o#q{Y"6hfv9i 6wtpEsX#O(W5}|ӼRy&)_fqRDeNaP,F`Aì!BΙmNscGU.Sq z#gYZ0a4b4b08c9a3c3bd1201b4ec3c7b7798f97bc4fb76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 ) Card_Multisets