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   s) D ]/ Card_Multisets:threads=4elapsed=8.203cpu=21.952gc=0.712factor=2.687zXZִF! 2]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`c%V|R+>܄rK;OQWt <2 RI t1Cio$xI|{l=Mv:(Ce DAؿ< NY >.YFۇ'7]=4t3+I s~O`pO!Ulg\n)6,߿Xu۶l{냰2̸cUvX(/.G4gSAZfbXa|VBj65IdZF8)yf) aͬ}gYZ7zXZִF! ?]ŗXi%G̉Sm983şX$yLC,&f_n9ݽ4OSPKLRUU[(w\{^k)1oh-Ab/m>U\llt o!ϪrlQ\FsV6Aʩ._=GLkp[Z}>ƺ#H WY 5Y,qA#!q}"Bxw(i*!5}ꂟH¯LkOJvt2?rP\^\oÍH澕STN"jUȪм Vc&GsGTO]˜ݭKba(giۋ$X[`KFuk7=EUF413>SXyܺtGk<2,3}Kk`2r'B3XB9%q|$2&}|6ǻSO#=ds1 'BJ`j6@&`Kkx(0 `4 ?2zK(os¥+ @|hzҵ! "2\cMA$ݻR<?#V)A4ePjKj{''? BW oN6dGzl~^״Y컉Q`ћ^J$:%K1AiKvFs! ׌8eE+֛2C6Vo%FTPtD„n7ӏUGG w#[f+Ct$$uS%J;>_}fjpVmj,r[Kj#9xozط3P2 kqZ,8 pyӽ@z@|}W|Gg9\U?Tw`6ܢaԝFQ9ɨbb(mz $v_+B=VbG&!X}Cv\(Ò3URS4-oK~[MyaAkQ%v. mjbĔ[v"Ì=Nh~rԎD?BVϦhCyۋ^Пu 9YgYZ13e1390bcb0467fa58f5451e1a48edd0c50d75a278a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ) Card_Multisets