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 ))TG ,D< ] Kuratowski_Closure_Complement:threads=4elapsed=17.790cpu=58.476gc=1.472factor=3.297zXZִF! ]ŗXf[&ET{!Xn(VWC-,ha: #ȝ(z!dj愍na?wGlچl-fq^1`AigYZ7zXZִF! u^]ŗXiɟM;7aތ0y+,71I-G@mݘiV [/_@HX?ccxƞnQCt7yxezv^0L}YZ7zXZִF! l]ŗXi%B4ɣ]U Jhz}Q!bG"%,z1oL5'@J8JK*P6KN3䴚4lڐW#tګFZ>/0 G.)Td}yOqVI)!\s?Hލ&M >gZL1t4k uOz:nJw 'j)7t<%.E9|RĘ =E9ӢD8UGIz9С(4`. A)5y" ڮfG)Cf*MxadG}/tlhl3\V6@++[O۫RqT/C!6N~KO|جRy2 hZZVeevS)`@_;LӁ T[>s'9G0u8z̲ewd1gi]X4; *MMr^6D$jխ\{Hy)c쪒9LӐyͻW4=3yX92uɨhOjÒ+E~DdnIJƟon,T=m*ЅVqH@DGGI^we|]9%t[N ]7SiI̚d "F&p1̤*v?V;:x<v)/L! # L$DW=}a[}aw\ˌQv i|K ֥W˄'a,n[q@_[S-gC ~p/K/*^~xѰ`2T#P9O#Qyx*~0 ąe~Scu/M8ش%Hy{?ОW<O]vSG.D?x6FyMfE{h9#0H ! %c~ ]M E\бgYZ2b3a36d1da961bd0427e3fa1f87ecf6151adc22d9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8  G Kuratowski_Closure_Complement