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  u t\t ]S Valuation:threads=2elapsed=62.617cpu=98.072gc=6.984factor=1.577zXZִF! ;]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\w5(*+,q lue/|~'l?5Q%2#& fjbZj S+Y83Q2Ҿ W|'adz,aa3קϽt a%V"̯ dHUlJe,Q3v*1 嘤&w7uRϵ>FW@k:ECDϫf2sx'=Zxa&I鐈 >z:Εw> 0+˴pNTjCH4X5:#;E|Vp ~VDrKsLqU.d{0y/u]1S1CwbΏRWq>,gCc`$"ʀҁnŶ=Y; ,bNx)`@Neea},Tv^sFPN] v, MJ.T$&vf$?y&|SocLԶ br߲L]X=˽J" {i"AVNw,C$!Jlsx&%=DУQ5,/ Vl1q#DP :MܮXE(G2f9BS)ۯF1yhI+Ю^ m2{( l)U# ̥v?A"ܭOtfZf3ZR\`Ybs 2BxŃȷ7d!n 6yS筶Z>~:P#v\4X:y* wJ+hT]˔Gfn[][&ZyEq*r](/iD /-)ԛ07"YE_$qȯ Jbr Elxى˺]GHc^heL$/׺ 9qܺ]D7V!Ct'OԬvOBCD^fq8Bs"*ThG8'_MT ce?tz' *Y 5;YCpd6ʜ>[Ǹǻ빟(lضo<͟j(Hi:8zB\zV wlݐD-E1֏ w4gYZ7zXZִF! g]ŗXiɟ   Valuation  9tfZ6Ͻ ,۪_\҄{IZClz"bakߏxЂg?s֔. 7eͅIlbB#Aq]*n#S^5f: :DDHR)ij5o](:i;Fڛ( n1,5-L{$(tidWPۿT7yѱ2f{=q~$Z@8FUN[;vMÕhQe;[!>hl㺺\'9=NRNKܶW&tbuwۑ.PkkMr`TIw8y,qugkC\5:xA'O9wVSuew6G9bKYVJX25 7hj]|P{~,ɴc0;[lHrsVfj6p5I]`o=85#g\Kԝ);'9C4B3K1= D=ξUvjJFG`i|r^>m $i2)&F,3rgU5|F );+?-S!P,F9j 8`ũ1ne {k@0k*ȮQj uDh1mFKHK"; g=mUs8Ƈͯ")T lxC&r-0Ó׳yWA`0q\YcڄqOUodHKi"~dF9C]"îtmvu_fP}2#=}K 2+mf2^8R 5րg^ߡP,mSjXQtӻ&n P|٫>bcv[C2,>BHBIIRCr !LMG!<Έ=ZS0?:FjL+ǕKQn\Gs0#zʙ^WF߿Vs<=a)*(lnݵKEUf|E7=- ܔciSePjf޵Ax7Ke @Ph$L&[H!5(բZ t%C+Q- Ǖ#$dHu5 ?DC BtNSx=/QkE"D \QDr{9'"!?%W6ڶ4hni=:F'e]5  Cd"B2nԘp Nǝ3{l-ld8.LJ+vޅ֎4Y w$?6$ pt#YשȦ퓳va&@a[ eC&|Y?{p,Pڳ&yd6)J7 umj~QєN 3KObsZR} Xl UaYEC[9n1u+H6㾻 Ƙbl&_:zU^CtrvfYq"b4QqIY2\^K2bЫ "K"yr`QVO>ԣk9U{ \[fO\i%Oʝhҕ9[ZIjɾEMˮ(2yl`^9 Ax/7-m3N} 2,e"MQQm떻BD 9 g7( T1[+xX1< \gYZ368c0c9953412aaad80d3c66ff7586b35b411caf665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 20b0d8da0ae76e4e8612d8f87b2f691de4307892