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 ;+ D$ ]S]Quick_Sort_Cost:threads=4elapsed=16.051cpu=57.212gc=1.888factor=3.567zXZִF! %Z]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}5cCbYTW"a(6Ec @j18_@CٱT"0"]-T+ AmH/\XvV 1?YUcm;*Ikb{S)mqw@)1`.)SA|k'kMp|} #1BI~!ӛiG.N_ ]pV;( ^^/ +`РU> 2lܓ [yVsVM{!dLؠa(a1FҰGbMp$PA\I:/l`bW פ4ٟuLNb!)zϻ-`,\ͧ5 n^eo;&!(zoB_%Ej"$Hfn O* 79oi`p@ %΀U+ݢ._6)z֐Y{= :~b?6,LC"@ }P'j~k.! Nx}q6S\n#7bnO{ =@,<uETסY[ -b+XgTOʎ8njĩV4MAcc<0Q@jx)5Ma3 9>5wob󅆠{Ejգ/_qܘ}J)4Sq){o)&޾%b"H_ϳ ^Rn)5 $ygd>I=73:L3es6 J>_gbG 1[OTU1/@sl 2)ch8 a6Imp,K5e<7]asԃ5¢ηO6ny&8\L1cg=j]~tUڷ gm(]Q|L d X6`3ۆX?*Я@8V:%?N\HHw \Px{<< J%L~ĕ6Uh(ddWO~O _#j&[ ʐ"}!>tF + (/n #u*{鶔*f`qm$>jͨuxZcmU?&J,k& dz4vN?DQ:֢}I.ANMSAdp2{~Ljaye@܁9HN%fԛVqbejD"K7+qE?D w=DyFvƥY>=B)̆^ܑI="y$qΝZ/WW 63]ٲ+FJ "_Pђ/ yԹVe%ŽWDdB `V__MNԬ]6ʯkQPp6KTG\-ijSr,KHAsZ£i@\!hI=S'}PB/F7CKd`' f^*J 6(v^(Y|bƃ?P53lOvS}U1j*dE/; IF&M0ۉ3o%;~(lVC0"HHBi$,=r`O vRE.ZIcޙNѓI P+5^ILOvz?۽ؾ{7BУ-$˝k3D..^#¢(8ctsjm;}udϱzCo{$83 ߆ ˾L]w [{AQ]UZ'5{e=h]X|˝Ϭ'6D=% )oq &ԥPI-1o gYZ0bd737423bc3481b459dd66352c171963841aa0b76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 2ba2648cd2e9eefa4e482a87a5d42b21c90574a9 4935381b0a3d53b4475efa9a778a2dd6f8926c83b2c71891d8405a275bbd76c41f43cb1ebebf1330 + Quick_Sort_Cost