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+ | ]/ Decl_Sem_Fun_PL:threads=4elapsed=24.650cpu=88.340gc=4.316factor=3.587zXZִF! *;]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{n1^ tوu?=j_փ( "7ێ%G 7px~jqڡDo4vBOSmcM4~ވ`6!c 6^ƎW4B%V4إf %O8~/u?ܦۓR6- df/Cf#k~5||W҉{B q&$?̑BR p@0ʭ/<ŽM>0z9K忏m8mPH>͏qQb쫨fkoǮuO:=ĭmD?ky[GP|| CpFLsv֨ :E|Ge% mKX:9ڬq |@7q= G7#]lYÄspsσ3\:\xa J Q_YCW漱VAJ-TÆ٥g%J:}"N ԇz^P Q~ -8ޖ26'lHv_A@Y(ltj]s ġ—݅o},1Wb`Ovǔ-bO3'Fgχ:0L{7Gk_jU$dRfR,W;3㬩H-e7ev;3 @."3VAp45XB뉺/'>\>NCjo ]ioۘA Yu^%PCS"0P6|ɞiiZ|EfRdh>5U^ˀޗ/\ә TgYZ7zXZִF! w]ŗXi%Bm\PG@htI)hs"/ȣC kE o@aO}0c3aW0:Xl?`}ȠO.GThC*Peޮoy7[ݸ0FV;'|Fsm"ڣ3z2,d)ElT$'`IPyfshrI&-dV#3;Yf>h;Zٔӎ;F>RCIGEZPmƤ jķǦIw=t`4X!DEwyWy""83uE݃\1K>PrKFcՂ|cl$z[si4jX (ȆViFCcU"1iE*"prWIknH,3hƠMs*C.F.duc'*6zU.oX/5@M?R4dv&"gT“0Rͣ0C=b| p܋d۴Ď$L;1)uwUےZ#ov K_ͼ zY?ǃ@"hw  O>]Uy4rcũ.<'Aw쯵\Zw@i" oHaq Z O5e9o *~6!2o1rD.7A`&ЊCU?|~j!ޖ"W<0I1.U*m2[rE,k4@DU=iem\8楴qLݯHc8vJ/.=I&_<4Hk!Ky Tpa69 >Z5Y*Ӊ:Xvi{s/*CL/m<ջ&(dB+˵)y7ę|s,K!ƫ'),U%i\H v:t陬_Qߑ;O0(/Y$֐ X!i⚵ݖ`_wur *Еpz9FN\LjTk-ךs* .  VQ(ǏQ`b+?*&bjoH;/5/)l^n~X@dZM\޸7`|/]aQgp}rjBз8&ʷ]5ONs95<2 pUR )-`CQͫ/A?rKTY_y 9_~BgmzsP<@ܞJ hQKIEטb^~o1"B$4L FLTjs<]x;D;a *f{W?߁XT$"|C,K8PanwI\&$M4gE&|=L :#?dZ"Cx=yX[Ê^K {mCַSz  vO|Rhy(oNo rdI-f2D>R >9 ԫB$~cp$F-wO ?EKf6w,Is gBe+_"~c#kU"T"Mayl ^ԡfK} +Mu,B LZ7ZwށơEc%1ρ,C8*iOr#STB2&)ؕK8`81Su+1jMlz@ YLJXlKz6[eIr6`BmՉ3~c< '뵤hw^u/];QW~!&7"fmN&z0){k.9jOIp3/miU<#fqr(a"~_Π4-}-5;VvuxEvQfAxc܌>ݷ/h]m߭ℱ%$9 cN_rsH gYZ5f29c83bd7d6342372369d00b83780caa961fc30ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022