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 X+ TL ]/ Card_Partitions:threads=4elapsed=6.172cpu=22.652gc=0.460factor=3.677zXZִF! #]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`ީBuwK%ߴ1^=k{c׹|i:2.Rh܇8\U 3ZtK6ȳF>ƲVJ"r B=5ZT];J No ;_[G!PbU`>dk&[\ǣϦ5x)_ Պ՟e>2k:BbP=G 󃬱wsk0`C+4vL IB%fU]@o'`mMggR#uIjO-VuFi@kix{4=twt!&( Qr+'_ՇvٱaXإ|Ȉ}&{S_R\0^捸w"҃7DȾlX8hoV^Ɓ#LH];Kרgt(Wl}G0Ci~厐 vLgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM]PZrg@uڨ6Z٬lq%z=oQg Syc{RlCvE1)X^jzv,As rS#/ -sS lxge-]L,McV}ܯ<0sҬw(gu`"ԭi-Gq!F/"4=`p8]g_=bN gYZ7zXZִF! 7]ŗXi%G̉St|r}Ud, I:Xa aa,2& 2ȷ#izNJ):rAZ}UҁzvHNHiW)p*8M]R[6nFȆHl-\(_=˖ T!oss'p86@qf-i6&JBziI1TVƭ 5 Z[E\^Q}ūR4LVǙ]="v(KwQl ]* sϦJ&qr#C_Abɇ˜^!1ڻ6н09R.ZC$tXGYöޅ[y;ֳ}-ǞXTU:*Њ1ЄCH  ̠fެ~@\NxV6o ݟެpPVҫYK $ULŪG r)Sk6-EكuQSu%K.oBM{x%^@,bUokJ72UO\f<,<˘'=Y7 Ź pT .Sxz 4v+/3kL׷dM(rEʈ@.Df kRSȝW Vٔ uQ+"Hc<U 95ܕTX6WA"k6gREM. `sx.)i.c'fy r}Yr{., Xҍv-}m?-D @j\9lYEfmLT6`=1Ѻ)>x*b6?ղl.M%7; |"HN '(OuiU8؆Ə7}Q8du M\Uf<'pr^uNc]5_F{zB*ZGwӋO'G5Q,`uU+rT\ KOHpە T|ybIN_5 6ԃ `0{T63Y<P㬻Q}zy嫕E^1j<φ^'Lؒ~bkXĻ7߄5 $룂.>AqzX`l13sg# sHx[Y~~nHP I>D6RڂV o9gYZa07ba547745b711969e426cc5b68a829638162f078a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 + Card_Partitions