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 ~~+ t$d ]S]Quick_Sort_Cost:threads=4elapsed=16.764cpu=59.416gc=1.908factor=3.547zXZִF! &s]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}UY%44{_ȋԯݜ,}^o`>b߀zk!H5MA8_BQ5pn$|f L8w"sЧYC:t>}zk{"EZpԼLgI2Q{;CNUijKJh|<v`)v剏Ub:ow F.s=?U);j6תZ toNJI*]9ZU!G׻ wJ8 yy0.<*fsQ+@mޒ8^Q+R& j~F}P*aM1&K6`;%z_on+Z}y)R=+E%=k>Y_ {?'^5=P{2oć_`'C:+bcdci`#!vdf|թiZMRuoN_A+zWGD2khLEr_~ڋB2d~.ojfx4Viq QcFp,$4`ΞY"`#p+Nh*$!JXB#/BV߳zUV8.q2.3 ;TOb6L)WaW #/xFZ萞>U#͘rz4ȓ5M8शt?v=|`0.h¤x,!eRj @ R#A7dqT;O"# ]ɾHS4y%S')Sdb$'E9B,pY_kGN=;th`946وL-kő$%RlVV/G2h֎AS-f4`ha46mf M;HfgYZ7zXZִF! NL]ŗXiɟ1˦r!q=4!pƹ $7#/y/؛brAf@AdiХO#Z.UjBSsB[~9-s~בx>,+\ cuK#M,pqkkTl7ؤӆ 7Gxik(hLiνD=WeYG&zxO N=!igYZ7zXZִF! u]ŗXi%B)Ix&0;/Mn,rSZ**;"Xnd>j&mI/!{Ǒ hV#q#f@! \c x0Qb6HY큀nqq9JS r(ɩu`gtF ] ī#8(LҸ4~^CJ:PC(o۝k𩌨FDqȇr.=L VQ@O0왭/Of$(޾ܓr'jף*1c۞"vȷ0go$$e\r;rImbir?*Uɨ? ^"LDG!v6NRH>i /eʸ$ˑ;.)"p"O$a9iqdbWWv3?} (翪Cg`uD_vb2ܙ޵\HxawC4,'YWofuҩ-^ȰՀD7%hFW>Z>G+nPgoCHV+ 1U_;\]Km$vDU6i$*u![%d jIr?Skឩ8G(!dz-f;Xfb+ޗmPឝe-$1«^LdlGHI˛S/2J޿R^tI)ŵMNoJ]v)'tzŐt[sCM/b~{I/zSKoո(e^gMfIXXs f99Fqwb&f8eP ’Vzp@O3!0u ~uG|g|ӹP6=.w-O'n] ~-sF ATr|&V%[!D?u\&CG[HY\ޛ+PfϹ;_DpqC ٵk~l^ch7FIEaɶ׈v~N؄!|k*(%qR=N՞T^m'^s9aϾQxy37Pb(|#ޣIgKK@{Ix ?uc8觤URhž0Ywra!&ZxP9t#A㜥6]JVzݝiLGBF?,yϱGOa1͕pWj˦bX3׃en3Q[Ԧldy]/ɻ6b`qǶlQ ^_%6{|"d9 RVپZٴ4nv.#}5c!Q,ŭ$UE AgI _!Ϛ}F6+yd,-VQvx 2-nڗZ[n;)b08n@M#-$QCzd~\2i2jHҶp |tm5e>hT)ܽ$&mɜ*#Nv%;En&QWrB"GdfB$hhY?wV؝gYZ3f9faa6256a1fda42826d0ebe14c7cc22907489376b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 82553a243b75b17982a7629e2aa4ca5b186893ad 00b992d0e0c39aa21806fe7efea97eb726df8dc5f1ae138317516eb59c48b2a3263cfb469fadbace + Quick_Sort_Cost