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 b $l ]S Lp:threads=2elapsed=41.299cpu=71.336gc=1.596factor=1.737zXZִF! $]ŗXf1-/6vRZektZZ/BcHkIv[ W % 6:W.B-1sY%٤%yr|s)p=FC@rIOͶo 1:*7PөPϮ [De8FQa;fZˠt"Ylg>,g ?(t!w߬pg=_@!tVK]CPt9.ˑpל-4r`_@%-aTy:9s<@25 nzMtn!%h ]GP`@BU͑þkd'$'s '2I   Lp  ʠt'y27.;)OԞQx w˜t|'s 5}Oۉ+%fa&)NN u9=L"]0i"?xS GYgy׈.hHN[?sߡ۬XB.-V:4>?:%rIw߶NuHܧ6B/]Cm?WzZyS<nUGcK<|ۉvՂZ6@W2%zcg4\da!xd>Xek]-c&^G$yu4tP'@d<WXH1(擕ح:!]:K|T @['3RelMUWsT:45|\!waT;TN %] #I.nUB dǧd|I x 77eCz] %idgZLpRAc)ua,?7= #5Н%hA%ܭNHaa@t,cDY+,RekXff- ;b IC0gYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7q}8iCa_&?O??ʹ}>OΜ2@ I~a?iJ^)-MXdOggVۣMR[X!DZgYZ7zXZִF! ]ŗXi%>grOVL ņ#!kpaİg=g}aJ_ ~wNwS=̬C_Fӓ˕"}dk] t VZYVYNn݂ܷ|ȨIf8W3 Ge(O@9:CxhK|_0Z5BϚNx(R+] sjFZyi˦]5\i&Pur` RAC*E9{*W*@ݶ^U6.@$Ë$y*R :/JE%~`\]sH| QubFэ(v߱&16/eL0 rr~O?8lѕ FT~ƢgAfЛ|;Xs9@#p`Ē3vEm#u ?W_O@:",$]Ǒ6%D~`vSs![;3 QW R6I/̃j^&eP@e F=d6Cbi3Bj" \ZAn0@Y>sT{3l5ˀjfXK,։ۤ 7u'pF]8LGqSĞ^! #!S{^,dxbuk9U!sz-[Zt}D )@˿+<='vy|"MN&JݓD{{Tv_Ŕ_:H%1^-[оRЦ-aqsg ֱLSh4.0o|ye 2|J=L=dQA?ڇR(|+ *O G|5[E??j.UlE߷N.|#1"ԯ(Έi>C0H "ޤ,y]U|W1[asW?zS.;,w !e5~dDBh HƮI+ B M]m_stp7l(] 2 XSڗR,i2L$ QqAer^#d-ZAAwg`jԋ~qSbܨ|wK-C|Oՙ3w<7oA<^ì84Db %/<ڣ8~QlUYWO %!>bۜ}HDP0${ =| oyLەN6 J!Ƈh/FM$^α\xtE_;[ q$;iV ]ESJqiuFt$J6~8X:ATipM0lRXCh?a}|2$f齦+5{ԯVlx8Gqұ ]OPt~2Oe@AoV<9Zf'On٠s֔'9 8xNnz)[!"Jv+E5룊qO^/F=xdS n晔vI;+q-t6dEz ˌ(sQK~B6ᑿ ԝCJK$$)]0~HB 'f(OC2&}h$W"8NK uM_P]@n.M)nSԠ/ -U`193;m`eɇE3 ?U< F/\i-;nl}WU`%@A@)r_^gV+j]4dsUFNjg`3וX]<"GJ"\dw4b|uH14h}]ߖ^ k :FpT^Ϲ\洠b'¨Bi罐$F 4V}𘘯ӘpAh*o| 55SJZw @|8lY(}Hm5Es24?r{>lޕx-0yDzi:$?]乥&DWbDxF`uȩwkZi^/_A&gYZf3fd5293b4e7b4bade000586dc9fb5527ec926a3767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990 7967251fc56b8b003d3640fc3860fa8376b0bec1