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 qq ' D|| ] ConcurrentIMP:threads=4elapsed=18.289cpu=41.128gc=1.632factor=2.257zXZִF! R\]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#Ǧ%e*t5ͨgւ3J[nX -8nq>Ȅ^XHb1vaW)a[&I}"1 Cl9nxgGLYJ@xfUsQ͡]n?;BBi~ޯ@GhHchH)>_`C@*.hfHǽ"6I|4| ;+cCuT_\teQ_e3,i^P`Fkճc]w"^DWJ HQV'4ΕEY`O;LUSt!hXNԙ'*]vulTU7{%4D=osJAfi$NX:il$h)ᬲ<噥K8y=FUU jk &aW} {' gYgYZ7zXZִF! |]ŗXi%B:gsW;5.4Vn2nwGAb\H':B0#[1͆`VzRɮ$\3xEG㡂n_6̥= N`7yX xnOXߜ̑l=ݑH<|n~0ŒݭihE7E$r#ぜ7qV‘?Jl't:7=hݽ:=|@ UW! )l Q[yf'aǃr"[zC0Lr%4/^(}opo)gWG` 9  9qszkI?Rw ^ύE9kB*_@3FT]e Ann{i*ps]%wK<^vszUh؁(UKA眯D#诖6BoLG=3{&Vs/ph\6P R}0#TstR֞«M.!6>I2o;Jfٸ} Yԥ\ȈQ *VgmI9ۙ 9Ƈ) |9"$>*r fv5lG<=E_h&a-UѼvk(߬sYdo7 ލ)4_`dmj%hj Bѓ`.UvFR69=/};)T=U8ya*=Ư{޶*䨝~*Fy %1krjhHӎ@d΅װ9_%s=BV+sӽH|W(ds;B3{|l(l&;@n6ܬ<7#E2h9 / _\bDW\QHY7 R,e,`_%thn-YM!Y ߉ȣ5tal' gU0  C:pTZ  pRXȃp)_{k{Dv }}AI39EP\7݌. U  ZvrF^(AGC vF䩎3аtvPh&;붸܋YzZڎbQ'!1<;đ~t3SPl긲atfe I:' _PΠđ^F٩yW_%MKUFUajxnU4 j`b@_ {〲:/^iɫ $*.k # kLV+" a0^{ \[Q,/Ei%&w#KƐY B [#.؟(&3O0Ggn ڣCgNob.>jߖ aO9.)H(Enr}ZFDxXТhYD)x*axgoe~Ek̃<ޛeCQ d#TT&:O3Y X|\W97njA=@ky]>djgYZbcffab3e7faa9f5665a16af4fedf0358ce1eb03913f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 ' ConcurrentIMP