SQLite format 3@ .  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 55HG dDl ] Kuratowski_Closure_Complement:threads=4elapsed=20.863cpu=67.812gc=1.456factor=3.257zXZִF! #]ŗXf[&ET{!Xn(VWC-vvS;@Mag%:l܎7l@R/| jV$c?6YabCH!e5zpo˘&ŧ<9:W|]_ :2HxBf L6*󮾙&l53;@ZAxXUEKyhrKk!]/2x3 4>b Mbz>ۯДSBAh$. qC lb>ͿV<ȻPYGxΝrH_AAU0c \@`|>ϟ_oA9% cȳ$6}U]x=53ݯ"x_ˤ_$녱;7Ʈzϐdv;hVZ\l{Ltj76匤ǟe,ة(b-N9GBN/?徆קWẸ?¨bO[ Ⱦ5 Tj^A bhVgUSFSx hQ ~}V,syGqGWlgV/yX'DJtE`7T4gfߦH!|T!6Fksv;Q~2@~ہ KvK)@2t< Ќ [5+35x*4v3HN#T ޔ9,d!@[^fGKE_dzº޶6x{:7!"QLBN؅! j2e{*=F/wPC\)H&dS/bv[ j GOy6EG( &ϳ0Lheߟ"̐RdM _ĥn 7;w1K$ל-;J{ز705?A٫T3 * @fUc"K'>nXh hS踃] +bڽؿ'^J,D=x$ d2 ԩ%gso| W bN'>Ei֝S's5}fyt.>`>6FB [!qJ$ّUXhmlf΂@*;PHA YQIĊڴI @A=w6/1*?~9mtt o:h'b--NC"2`CD}xr&= Ҽ`ۯu\$_]Fipb31l[ 20;-y$w74vZΩ(=(o ᥭt0uRBZg a9=`~A>wj搬mi4(qUFVImdp j P ũ͵P4 `@{MY@HD^DW{^ ]~ޱrQzh ?J1 ^),E3g}N`xDJ͠ dUNkJT QlAkk*r`5Xyb)X Cr]fE@sV9;j8&īSC|m¯B 0vU$*/^_^=zd[ˍ|Os8~GVA ++.OҒaՓm)gM)^sy괊Yv2fKa= C)!LA<;k9m)KAVv~*h(I^RA!I#u@ maRPE,E;$ s’lbȃ!{\("(&ܰc&e٭đgYZ76f7c6039019d072f4fa7b639c0e369ce2c6a5783853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2  G Kuratowski_Closure_Complement