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 q+ ld ]/ List_Inversions:threads=4elapsed=11.559cpu=38.188gc=1.096factor=3.307zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk܈ìFwxB4=OCj1sP[ |br{0mb bb7jBkoyQxrjX7qzr62!c+P@9iLQ;Qmh4G%сp|4Rit Ѐ2P c!nA`>i"1b,~N&|U}aK76`!jK5Yep3vsiX$"ghf]Kš=_@e3"y,#༮!FRw<cVKIxnGPS ^ IHL7 ɣ9]Ԝe(ώ=Ft/qGQo˸_S,Ӧ`~t/auUXgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4 nQ4 6LLde~ hⴳx0'xF彝_.5+sdsvm#W Wtn Ucs%, .ν@fZnL*@αgYZ7zXZִF! V~)]ŗXi%B۾2D[W!Pȟ)2Dv;a\nƎe, %1ySK^1,YQ:t՗fؗjAC+c3=u#$:c#j*<;T;1` (Z7/4n#(4ib{$)79kTRHzxxsjt2 !g(zԯg+na #E^Z_uPC"84 ? NaaȞmϢ"{4dq?\JM"BYo7޶p4\ PXK!c.vT9O}Gn4:v{cnzfՖHfT>TW6y)Zg++.>\L}J21"J'+)iE8خK|d_gqbCN64KA1z~h<x<%^ "d鏒,I|Тk`uco[6@DG:}{)k'¼{Yg+al+81bڻJtsZl)-JR_7aIi)Dz'LB8@#_k-<t0>9@!ȳ0 #vZE5"t2ׇJI+:>_` /^>oT~109>LiT#bMϹ? \ާ,?fM0['b$qo` ZxM]IzQC!bEy\ vZ+:z>mJD6gvK5:8XP2 =LK,xlc(*b'I8ߦ<&, T-YS?nHfށKIɑ7a /Gv:iK0Pʀ~ە,FFD_o֚*Uw7/ҿi @Mh 㾯T)`i6US>hBR]C62Bw#:>-'D=N"cƙ%dy`;][ZY &M.U!~.6ً" jD#mlַsnt#k@Z:~iD]05$)-Q6re;޾x!QͿ]-J9'ɍN[4|m:f[Ie x1XOl6xd7! G}_t C ˒=?ۧucUKϛZ OFRf@ I\{@B̏j0º~XG^cA4yk(p7¡/-k /$lqjLŠn6 KhQ\mLR:9p<ϳH.!#[/+v(i9M`/6K5^H'gf. tkI?=]2 ΀*)ms9ֻx-a?6C1y/2CS4sD$-W o%PgYZ5deb7505099e896d57091d0f9d48f0a0ea99ad4876b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f + List_Inversions