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 L\L ]/ Locally-Nameless-Sigma:threads=2elapsed=41.270cpu=69.820gc=2.640factor=1.697zXZִF! "^]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,RqیKl0l,C7VrR+?1KB}eJé焹e#&]%QJ{هnfDkV',7\PrЩ1j>;3A޿ߝqfvty[fHboE䗊Di)Teɺhf,bؘ̮/6/,܂WRB9@h Tw lj܊? 9 Locally-Nameless-Sigma  o.A N1`_ yϸ ݸ .>n:yf_w N[Gp¯ I`߁ykN vG)0E^7F?VLKr#S׷K=VҲ֮;X[ շq#Qw J/޺ߖ,m2Q[制L933a +ޖ7 /+>"m[;|1#lZI+(P5Ո.K Ew۱gYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmX@=@[=ǚ}*dkyg: MUc%r\uJc^㎉^bQy% }()v4i=H0z3rOXE.{%S!qe]v\?P(,9Cdܩ"3٬KphgR'EdT/Q eGY4MgYZ7zXZִF! ]ŗXi%;34+1!P,I1nL:UJԢl''8MkP /EFثE7NTGl$;mUje@4[ ;8x5ݥ3|}/I"W$r!$R:Q|ڏKU0>VfE2DE+3'[Y/:a$UydwdZa&L~ my I__>>ui{Vhޭ>( y6B6w w%E.!}e,  OL="q.8h" '`^C,<Ҥ';!zJJVUqiFvŹׂD9Fv_p` OaseZ=6j^EY d sZRk|Y%p%W3]8cVL642W(qR`+U)O5Q,0fV>;|ɠ+|]Fؔ:E$(D™UXmrz-BF8ƯC:23YxWz}x^:<@ pHM^ĕ+Ά׆1Q]w5I>th{f >֣o$eRUmb3,Є3#Xq`9j.3[hsY~jSsyrpUdN$F$G0 fu Nk[4%Kv xs>&x Եe sEhZ$eqQuK_:Wfٙ>%oC6ǟczK{c:Օe)<$1? \:\3 E߬ζ!Vۉ^{XlC^SKGɢsʜAEf4Rh O?v*A_U|ϸK9I5RkNõN:G[_@;D^ܣ:eϰ H'mWZrƧ;8R:>{tC=W{`mb8D; W4X7iۡD" 拽L8#;;ʣ1ɧ0񟽦hbG%ff"hh!~\!Ǡ@wiU nQR:B 8^](򴆄¸K}exE/ e]k R_o lN=beq2˜#ԥU dhǦ||2s*랈p䖡,r!? hDH@5YA\v Yj2T-Z)$NC{Yy0ʈYA1,Z98 mA{u j1@oiXq,K Ƭ_9wR;+n6)\ܖR9-fر BgM~fY@T &y_N <2l6 uL뱱[<ȉ!R-7WL PG| [mbj1Ĵ(JYV9BVcL2/с66ɜKji1)QHp'ML:Ԅ_\q!]8an@X5sυX-z oʧAØKi1?wFQ#3AYc#u5 nFWZR6aE$R8;d{ʥDŽ\I:E(.?0SۓТ_)=ލ{g34Cjϴ; u 7֣j@X G\S-l%j>\r'"/8.Թq{(Da}к*:T|_1TC/lSId>pQ=bޑox}w2ҧigYZ16956e60c2d3fd5bb02129b0078beaa070344d4c665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee