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+ td ]/ Decl_Sem_Fun_PL:threads=2elapsed=39.971cpu=76.500gc=7.628factor=1.917zXZִF! "]y]ŗXf[&}9ߋ͠BhUC /W0jc)[E8E$14Ns:bdFVDkMt,:;Qlڲ> e[dk4*d]“T1$Qrn|ǦoZJ١'y{A@nNU dniz}>Ip&@RZ{vPHݖgEf3NST3S,'Ƅ6? BwJΠESn4|(`l/\]% T>8𣒚-k] !IcPLߢ/dq!҇~F) X{D&ρoh(Di%MSʰJKIW|i@@N|? 2M+r5D0:d[p!V+F,^&S$)A"W X[=4DM,2"9f$^HQt}h72= [1*A3Eص5Wh/.x,ĊZ=<*??ufXyW /su f<ȼٍN_ɖ{PUa~(bW!Q]㧹 P o=2bXl+;bpS;A)qXX+ + Decl_Sem_Fun_PL  K_-0= 5LK-,->w`EL%j0"GlLߡZp^j?uASliG:rP&왺F.pg@! k&׃'# ۈ L4ËU++WY/QhaZa$mi{)$ӈxm7V8Bw\؜{MʮBvhY,j U&gLmTv*8Lh\OTPD0{tTW>xV YbzPX}5]}dHY}Ic1"d]n4Y%1w0* ᵽ^m7{썽W)[3ٴg &h"-[߻ES'WBvE;S;ciR D2gYZ7zXZִF! 3]ŗXiɟ1˦r~KunύNN{+$*)* ϜJ?"~ZcvLHԋŦ]K\e܆u>V/]!C{yf]sThd(3M t$EEc6 o~=겸̽}$nCfnpO9 lu(AgMrgYZ7zXZִF!  )]ŗXi%>gE=]]kyhFNfgtLin 7=?hD)ʷYR<0:if朣q[ 6s]* 5{Rb: D>ڞ%heM&5ffG2h 7ѣlJf MR+WZgZ,\۽Mm06K}LzqyQj2M$prϩYX`0?I|z: Oپ8 ,fRAKi?mx][QF"dyI9A*9y/4k4X$Vqr<€aԐnJ[kL# N KwW0!|ź|] &#-f='|$f̬fTSo$2uPU&ϛ~w`T_(jQy"+n~;wծ罃~}"3tdת߄\ʕVgoS&,~ ]Trn8!vnE[.[WDo%~3`hH \QR9Lyo;cFVXXs]ԃ*?v{M A!M/<7W_r\Ǩ |V30lE]6r?fW{%KUr峺S0SAy`߹ip,p.hR=bl^dwn= 4.\bTWVLg(Ћfn*F]+ݏA4v^2m&{N&e lOi77 1vf8jIm%g">͜ƭqqePK ? il8J g.dm/.q U-9;!wg:XYm5ˇGR0s4;8𵏳|D!LpҨceQa$eG*!:z k\NZПVepҀV}M JfK%x6q  >rœx\=k% ܪ^}^RUv^jh(5@qڻ프pGw,Zpq+Ltpb_),m]sۺ+6 eqp/rOTdob%:dJ^wƑsktyKum`Tm?[O4plώ$6 mFS B2)xR; brK Uo@PKTd52yrzGP(T H6%bލ q! oRZT:zS(^W?f,rڠ?0C%rD@zxm4ncMFZX6T.@5=/.Gsݯ\7l{ǝX# 0HtkeVH!$6z *{cih[jes;NuɅ;ib>{ 9̯6gXmAc2 ]*O~JzvpewɐO͐( VR[ج9Elw/ #6^]#'\x!gjKx׌xLgYZ330426cc8017b6dd976503ce94e2d5d5dc839f5a0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f