SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  G ,DT ] Kuratowski_Closure_Complement:threads=2elapsed=25.465cpu=47.880gc=1.640factor=1.887zXZִF! H]ŗXf1-/6vRZ'PGzl}+})p^/KN%-D %eխxeupg:lhj= C3gn&6=~(\YA aޣ9Qɩ7R򾅝]9C`uJb|E=}hgR#  یXl**SPUhi$'mX}4p(4ꍤf'WT0_`I/ kV1 OO"aL&F׫@,چWKtQ蹢hM8:}bUManw4ND\+UMY!JsE"nȎ/{88d\(h - x(^'>8 [*EgRӑm N* 렧ZH%y^PtOz,D[d±gYZ7zXZִF! u^]ŗXiɟM;7aތ0y+,71I-G@mݘiV [/_^L2 XLgPU؄`:"Ye4Hzv^0L}YZ7zXZִF! 2$]ŗXi%;4bRԄFFC j3-j! nx&$ږf"s)6.{CS? dz#uEJ|YR'=$>`b٦ݼڹ&\n+LcU͆mu^oR5Ћւ53'^eԥH-Y*񈰃iHS0%vJGl{H&3QQlgB]#zgLB-ܷ7Jknv?I+Ui71X58nrV[ UPw p=QYc,.^ߦT~RTQڱضS}`wOJs-J:`@GϞYfgBRfRH\,J18xaKJJsl}\L v╼HHd[fdad3,Da5!ӗєf@_s {^Pw1VFJo.QS.VSHWӾc~ 3⎫ %W ԃ.pabAG$ N@d:¢| bv]`!5yzt7۟o?;6 vmN0_YA;|v׾-8jꤴ][o` }(=PS?"#EJ 5>r-,֋+ Aq$42&ހDL`ί_R͆35xekԈųŽN箜ȭ8RM|7_c$cZ7fGz5|GMh/x[. E讙WƽAM(#4L}µE2UM:φԙ~H]G|-r&AA46+ܞ>G q?HKӢLBÈ+k;/A/GC_IN='8W6ؗ{>"ai#΅#p")SǮ/t>Uy`]lQ ; t@Cvj9{Cuƀ$^q5f\^0{7uf2Bb;~e&Eoݎe(ʩ