SQLite format 3@ .  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 HH5+ 4|, ]/ List_Inversions:threads=4elapsed=13.561cpu=45.324gc=1.492factor=3.347zXZִF! R]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkO6ҵ +89Yh3 ΍wxNE(Y4grDg`-s7F~)k i=5eHk7}c!tt  ģq65NZXZ2]x/fZAHgmW+iS;jzK1:%84(U 6׵,Q9s7a]<9ً.'y9gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4nQ>ёt{]7x@Kb~41bqaV_m|m etQeʎe7SwOm2ԧŮ;G˽*Z3[(@;zO)H} v:rrX B"{a,Z÷m<UgYZ7zXZִF! a]ŗXi%B ٷzlS!ڿ3y9T)zCUMd2Q*NM qJL:PћECsaYe }%?Ėrcw7HZDxEL*1r^Ghbl9OsOϳWպd$J畽 !DV#vEi[QFb"uۣM: Io%./`"53X(@T%= HݠˎF^m'j)%d8f'0F:פd,\ ݌Pw}F5t<e>C;)/O];F4C' Nɖ<3 -CPAWct"e̾$344Հ;lZ;uX݃u:F 4Ec[(ӨT!b=sڐxԱd%j4r"(h)`4.sRfOt15'4ˠHMUɺFq,0n3>:q֠bn=/kM5~m#yU0J> 7m~Cc;qEf/[Vc7|Mts *7I8~[h0Ir8$Gz™ܠCk [R?B*ϳfUHM;0vQԾ[j!WEh2>%jkKjL ǬG~U%SGft{NE^}虺?!}g۽O*5/OW uz0p Vcz+E& +]e 5d^6T>s /p9%QtgYZ94b22ce2d380017a356eb75eea28bbeb4337107cc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a + List_Inversions