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+ t|d ]/ List_Inversions:threads=4elapsed=11.620cpu=37.864gc=1.460factor=3.267zXZִF! \]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn7 lSR 0sIe'Y7\DJ2:Bj.PX3 .[Sf 1m{ ʿB'[W%jT5h6Gn3k"QZ<1*sSe.gΟߛlq@F2<>vOh8] ~CyOtjs[*A7@y>a&`hDzhVPhY.PH9b)X(Bӟ%`YC$sReငTaуn F3=a\ }܅U ICE& ?AUڽ^jQ#%eSNV]x{e8Nsa%0,iNkeX0=`8JrFikE-QA䷆q$; nC[!$37vϜm )L=iP\+o ABꉻA%%{̜^~3դp'8Ciw_>vo!Wb(Q ,4`#vMsGƠ 7 RujQԗ2pe,phRN>H ̢A'0x6wERQ˼StvB(;KZ#Szs)`8cH)d띭z6x!~?Dɸlüe.Zd]wh @Tv_UN E3&%" 1Cf"6pXX;)GlrnCqLFTe]<70PKgJ(|J{B#X秎PjH<(PMK rYejcD %p-"SDȄum7JM:]/~.FڔH0 2;RNyS0nZZF Xpޫ?ͽjdPn=4Hvg.>O2[.W,A{EyvfMif1Zo^7)=w#{Nr*\lxɶmX/ :6T6Tr *_%Z8޿ַU6rVZߚET$i.{ju >/[$r, 2H`L6, kWSћ/J 0m a˜4E#Wlm hx΃\CB W&_0 ηOMk8eiCy/T)5JPHCX>Aen *bxHꬲWk]сL*5d6<=qib4oLM.Ƈג-Xg_o^J 6Y$zZ7ʰ} "t-q͌ؑ*-X.)._dTLiJ8:xB%7l^Es:nk&[lQ D?a蚪`eηI~W ܧ\`gYZ5978c5b6d7acb75756b60eb0e2d33fd9884053fd4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 + List_Inversions