SQLite format 3@ . BBh77otableisabelle_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 7 d|, ]% HOL-Quotient_Examples:threads=6elapsed=26.340cpu=39.824gc=2.504factor=1.517zXZִF! :k]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%ԱCI,Qz͜S?-6& ,=țیxێ Zﮁ f1XshWsBlF\S_I#n ql){P >󲣮:#Y_ۯe{M5pGx 'lEvj9՚ʗ5C"Z6USN+sBr(n8F<Y![@_KMɿqlL =V1YjH̐!7M[„ ^i&+" V\`{K>_!ש3A40Yfury' "Gt-׍3# n3 bcCᅢmorq Fˏ<$ǖ%W O^񢀯'kς/r=ofkr\#IWώ}]Ȉx@=Y"Fwߥ3VW=PfQ.‹g_u7ס[yKK`zd( r>CLVБZ}9Q̱d`4r2G0_XC& dzgYZ7zXZִF! }p]ŗXi%έ)kխdG=a=.]~ .I>GHJu.2wE!"iLE!Ϋfn۫jn`vX04H#Ape9Co eVi(OJ{bLa$T\v}JZS-6-Q*ק1 YVd^ ծPXx&T!|.Q3@w j80vvnpY{`D[t0 (c Ljd܆cNV܂Z 2 lnƟR/Λ\q?f|_Kz%&1[X9ư+!ri}邜A[J#oO ? x$xw$U,oޗOp 5|y+]uZ⩐ıkތ![کJ! M𘳅['U!cͶb򅯈,b"x%B0|ZY)9D2&``x~daK T׉5qY -4M*yĽMFQSeWPb %, &x_7jdCzfos4'S-cqa-nS'#J8%"pxEGγ=9_-m2`T7y:xOnKFS,b* A n$Zeg+(zXaSTqL#[˨+xXPoPI3^P@)Q_]6d'=Q;0^TڔM?rXW  3y :U:g'O!R0JL̞w3yD8LkԥWJ )IE3x?O*؀ f&ZTv d@And՗:It|; |8A_e!bcJX򌅉a!DcЏ{#Wu:TTcuL߫t'bhM>+GVIt1G94bKtd1 GQu"#tg-is"LrygU6pdhf~޿L8^,bCBrދ(N3dolx^+YE{lVDpwܷx >r |m\B ެ"m9;dRQjxAEYi(C ogYZ22c40fb4f613a60355426014a9c3a36b6898e496c02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c73333 b56428d245432f5f15b93df17818e6c844dce2dc 539349dd356423236a9feea966cf9668e7014ba9 c5df7bb74ca6a31136ea0c09827cfe8fb4d6c0e1 7 HOL-Quotient_Examples