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 d' <|4 ] ConcurrentIMP:threads=4elapsed=18.424cpu=42.888gc=2.200factor=2.337zXZִF! X]ŗXf[&nMy&\ꉎ3~r >Hɽ@ 9ڏZ/nPs֏d[Pv{[X.=룫hKy @ 1<2&td̓7d$Ln#T;9n3^;ĩ '#%y_wKLH EsʪNKBKh IҾ/- s\P wŢ/nP[a8rkZ*DfR9{0CiKѶoBrtsFR =:_`]ܶt?s<_ߘWxjd{a6`OV`\ j) "i%0=ZW7iUJ2g[܅TNPe s|3@&#xմu걀axr#A[17cqJs yӍr t(Ytm'Ӎ,m2tYzß:{JU\BQSU͓ j,?=P%gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wI,nT$Ѓ0ϥ/i vc_䂱I}Qn mT0hP0`: 5o-8+JB!X'PWR $NG7y/7Ih |f9+FS- gYZ7zXZִF! g]ŗXi%B4? ~RDŬvC^1J]W` E@Flqʿ&u՟]dm0U|;XR|!;yuJMJJQ , taw ǮAZRd arKNЧ7wP{ʲDD)5m>Vtٌ1چp󓞿J( &xrPHV㣅6:r]A,xTMꃃcq{"`ORtIjlet.%St O_OGRN3_;׋K@A1o$"rI3qy#z< Ś|>;ڒbtKI~,mÏ:^Ȁpnvh$7pbրUDh]X\4 [NTXг3S@2#pKBV8yKLk+/ؼ y  OhH=}ZbC#㧳B|hf2<[(J0*'8JE))7-ҎcW4 a =Һkm _WZKqВol7?~E8POӖx5b >\58Nޏ*lh6L 8̀\^Mz,S43^pBL}:U߷mWNwROûԳ&іdZ9ĊJt竓UE;2AfS EgYZ91812505e3f6479f7a51bee89911966d5d7a44a09cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c ' ConcurrentIMP