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  Ld ] pGCL:threads=2elapsed=37.771cpu=72.512gc=2.068factor=1.927zXZִF! 2]ŗXf1-/6vR]uY*؉MPLo10r <;X3=i4bץd)4 5M:f2K~s9Q'B"+Wfw g<\A9C\guؠ&YX([РJb̠(E3H6kSAA*o,3}~NalZU@Kܱ),k3>K9Hi9uK-s^d99Lk;2^b fNh}d|=urV˾`E$#*yfNF<[F { x ]8!?n^Pb=(k)V\`S(|%{V]sqF^LBSCЬcabky%F&ǃng 5arlvE^N .͇RO:]3Ǯ3:\]K^* rXivoN4@^!gYZ7zXZִF! L]ŗXiɟ: e=o݆$vo&VyDٟ[CWe`0*Lrb\лOʨ@a7{ ȾFjE k> !+0i/[% ӝKw gYZ7zXZִF! j]ŗXi%>gxkz4wW[z!N/7/xxxeKd8fD7_ĩu V WǮ.Xf/G{#,&]wί3l |ӡC<&f:\vrmKJꅇٝBU~w i^aݻBgHLu53CRa (4I5aP]oM\'}xw,jC~j1}AJL\ď@؟r!/&!ac#~5}nUmC+x.H;6)vmR[[k:p_pf$ _S.oos'/ExȽ\燖lv铰1; #F!hnf;ӌc³4vĊ5|h(2!7=TgfeeB}G\9D.C Md;$]ᚅHb}5h'lD.,;óey=hc zR%dČfɤsY~^8"tpE0A } .0"NɃ?$ OjWctU <_V+5!3'r'g^|g ,>RӻזT<*5`RՇp^=Ep(Sis# =XIz$}sB*vHGnŨ0Wru zح[}&PO{J|_;7G_|]&ib@ozLn5$XDN^W~Y.KBS 7l:5Uww$!] ڥ- U"\XFЋ9.&$6)+ ҳwLTG&Msp~k웳nuv6Ar"::QStcC`$ljs#Id"wӡX8? gQ@ >A=I8U _7wCbmzueҒC4bӋhm} 扯[̴҃UcSɇZ\У ;>q#UL=YerqO7?}V  {3kM~p}rZr+pg?vo /S*-k6 I1I;|4|o\um !͘_4v!Ya+EDM.Ai>xN``:TAXZ#b~ +jz! rҋ?`E/TPyYƂj3}e<͔Hƒr{ɪ+8ZcQT$4s̅ l[ V~(r_%D[Q1~",bh=tgz泇𰲾6쾶% P4bn$mdC5a4XrN%ɍdB#u]l8=l}ay^@T2]d%#i#O-?{RbK&`90ZjC!Aljz:RZ?WbaКؚ7} 4Im-TM|peXAJ:Ia uQ}Gӱ K]SO2W?*9QaL[#`dhEԈ  p5^TbjxDk o0NPłv*g'`R.8q U{=N˂ ٷ&ho25"m b~?B^ I7UUeǭO @!ۯ EY2\x>1 īiو:N/:Ş*҇lB=Wk,'qScbe/ YEeDCTX:9ತ.@ ΫSmt[_KW3$2e')2<[- ÇFqSpI88<) I^pڼpkȭ~[k庆KT\I / 䑑PWW&Hcf@^@jwe*)d3 ? LʆЭZ_(7e8D&r k5c;h&Vx,Q fDĢ},Le"yoi@SSXK-3"ÓDh?l?P,1̝?Prda3'> F:w|8hgYZf42bc50ae229d984a1757df298c824a9ad1c643d767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990