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  d d,l| ]] CCL:threads=4elapsed=5.726cpu=8.052gc=0.272factor=1.417zXZִF! ]ŗXf1-) enȈA"tr-j. ZbNVH*Й3r'o岺HPX:&}$^ae{IoTh8x#b¢rLˮT"UؼA"J16ogDn\mVEa{/"Qi02u5n: ^i$ /ƘƈgYZ7zXZִF! ]ŗXiɟ 1FE`u$~5K+du%I#[&=ލJ*@!j6Ox4=Ah˩de=Z{1O6ˍSH )vV1XgΤEBL%K:5uj+7kX;9iQfFAiviQ>l<\^ |>v[|^su{ V&c/\WqG}~I%F>1I)ze:[;gYZ7zXZִF! !u]ŗXi%B۾+C: 9%$Nk™|[haRpp>"1&'? yf3VR0cA^(\Y?ƬkX[rJJ8 0a[)Y$O6+nPK3;=e*&o;v,g\Ƭ#>-Cgm{F+PRvK>JvK)ŚJ0) oڰяIhyЋǛ$.ޛljqi}mc< :YN`AhY^$Y!$Ts[&y8hu33QsC$l؂e5O55kOtnD=SA3räV-ۅGl|ź Ϥ,bKCi3+I7SP_p/7YpUK0! 5vHΤbuݙt\c"/rytl 3๝C yx<"j} _yϳ% WM& )$S!!z0[|%'VљR"~@5pOL*ZL17BQY,c;_sx("mʡ3%d¥МxO9ַ$е\R_ecܧEV/~Z!@1e3c̀eV%;Ѯ"