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+ l, ]S]Quick_Sort_Cost:threads=4elapsed=14.367cpu=53.728gc=2.016factor=3.747zXZִF! !b]ŗXf[& nTg6 HJd] Bqbp+8^NngKw}hV$+PtGE_JU':> 7ȸy>fhȮC}u]q0jl[R3) NIUM T!l2tWG^2d-?r<@뮁<}NN1㙞v` sg:rLEx$z)1Ϋ \*~:,W jޛ3o4UBV)ѯ\ ~{rkesz j)6/)Z.9vK=6MLpmtEG)P?s$N`kEty E To,~BlJ-o)L蛺tAr ?6[}3P Ά/wAXmLZGgF,5F2kBRn>  f K#k,lYR:^y{,d"yE+b~ϗ´%rOSE.x#ۛ81F?Q6A<(iNGX?1C )KJ^] e!&-/Zr#mdZ+v6K0wH.z\#v!gc32|H|Q_(oh S%DZ¡WZ$|"m5'P;OϷj%(þ_ՆżZ"pfq$-Ɉ{4 cGĺB1[zB*%6WVMs6!h Zn ckf0F6Rބ\ٜ7a+wtgm7B=0͋R {lyUrsN,]llab.+yzN0*sFNx r:E/[z$/unkwӯ;I`UQ1斾P X`9JsQIycOpᬯaVnw霯upV)+XYUBdŪ`,`u%E vaMf 18E,|4V:`Cj.0ox:bOgr%ZChX$@+ Eaѧ WltE,e`zչ'TQOB`T]@蔶kEM IdWlbCELNDm\fovk8ȳ$.\לTtO:ҸhH6戎˟~Iu##SWK?D'`4 a?c*)YÈ =^>Xco08`x}h ym|B]P84w)f>}C8 Pɫ7$G,P«|CSe<ۋu(gx\657Oe^a3Va}*G>{ \~$;d۟OiV4CfC.`8M*y(R%;ۻ `ࡳ&~wKx>~y>95.$ʖ3dIj 0t?4MϤ7sNcevi %L[?+n}=;A%:vY['( 4rO@!$hp4`B&Ff{RiJtr<rzNNKD;R!MfEY[,-}j( PugnDI#Zh?Vx`:E//~O#V.oܭA&\ I{W cѱɇ}2Esl=\naMFeӰf:iX\:NZ[H.`:xDtMX20hm!H^ `5:[\56e lgYZb1f2ba23479c1b92cde61b7c31536714f3fcd3b178a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472 d315af1d1e0679176eaf090503e10fceebbdeadd9fbba07db24b62ccfbd2c9664ee53c1b65d6f12f + Quick_Sort_Cost