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  < <9+ , ]/ Decl_Sem_Fun_PL:threads=4elapsed=27.267cpu=97.016gc=4.684factor=3.567zXZִF! -]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VVrL Q)5`tkt|y!)px\p#`#X[ ѓFGX VW5"{npljq_8嘥mȉ-Dv]ooJQc UӜ :*W +huP"uc"^Aؕ4ild|w glC _yIMgm'IrWłTQJRꭿҢ͸J>@ow+[3a@߯OJ|6}PMe4uߗwר>=ѳQE#Q+Y~ㅴ?.SdcfA4;B> /H!gHKZ"X!G˦9[NWomV(cy6num0Y!^ Sư)Z`2H(kE=mI9S*gg1"J8K-C I?.o0mw]/I P> )w,rÓoCvYw6& Dw--J: #An]Op@egLn^L?Vܴ*PX"t6922!tŗ} os{kÀ>P7 l ˡ۞iMj1"m:}M x`,s+'L<<͎IJx#/*V|cA-eas!}ċp!}Q-B\e7Zr=MmI\Z$3*j 6GfZcbfXoݨɉ{--Z6d-\V.Ms'拕%Sp&Zɑ/X>+AH84Onq"{R9WM> -qSyv"RV֣aGW#2㡼q7;fבv\ۤD{3~F@zD0o9OP?k٭B9#s\O%N%kv>VkIIڂEcS?2lVEnȂϗ{0q /t@8` ĺ wdƅ. ?H(Umy8\Gї,RL ֚,"ϊ.=1d?({pW_Z!5x[Uu8#֙ò[&a$)$$qIC a3 {Hެ8'u:^f%G'm40KCq%61G%}ز2*r`Ѐ*IO2|wQkLǐrYFgZv)YGφ8:#1U ]K #Z Q9`j{GwLhS}3W~W1ܷ:pg&q4`2z>I1fq;<[lNmp =ձ`~{PhftŅg/_FwL@ \lgYZ4ae46f8a115f1d615f6087c6c6c4ae6cc0bc2d0a9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d