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 v1 | \ ]S]Nat-Interval-Logic:threads=8elapsed=15.998cpu=60.763gc=1.576factor=3.807zXZִF! ,u]ŗXf[&xY0C1wJ FZU%p•< RN#G&, *_Y/s0W$v07lc1G aw/G"015sԀwqpG@β˴J#ҥ`j,+\>ԌYbc#ҌL~{ x>`R|f9m tǻ{ςԹˈe/Q?a%[˺)%I:l?9BY'z<]Q~%(Jړ;%(^ cZnlv,f(B8YWצd8]+?˃YAw<`nPc(n8}5a3ڋ1?}<]?W4 5{@ /fAN,PA3W%2O˨o? HOu-XVd}1bv!nD\8*6*ƦDO(Yg q|Hؔ_?B.ve439I֠2΢./iͣGK0aimd C vxٮF\Zhs a$EN9q(ȩb2cYpG'vO~9~ب,6C<C>0iӪqس+-fϯ0 fѓNS>2RJ J=% h)sy1`$mS=? p|ލYڌ-J.^~+~RW&}r9C+P:E!xp[ۤLww9k%FvEs:Xc2 »޴@͘4pZYbJx?lx\3Y/gYZ7zXZִF!  ]ŗXiɟĊ:4OHsS9?2N&JOQ5cTֺuDX6bwG&#0ӾcNoHӍ˹LR4Y&=U̫-Ru%/H7JL!3>gYZ7zXZִF! kg]ŗXi%>t{ $tLd; }U;-¥~+{:Jڭԭ$qz^!ng7O]Fj"HMJauԁ==pQa{l.Ryp$7ٕ5MWW6>9C]z0?&J,R)3Eйʮn@E-F\ǔ[lι--*˃5f>JV3{kM5e봹H- j*k4RI{tG0)3Q"KPOPvw7QBHUԱ v\tB\Sxhbsb9UN x?=-`-lM > ?%jtC{O= 9kD)FBex(4[gzS3ӈ\" y9 'XoG (N%oܻv(ra5};a>܎13- |QAZ{aL DkŅS[7]QlyO ZߤO%85$Al媽b{T#0dUOqp׬QKY#D'fiȔmz @~aݨye0 :#]kQhP&N4]shseṑ8"$1VQE,3nl;]]z"GK'SJљ]Hs &$X7kA;? U[]b&P%0"HGJ6O:aV9|v.h/G*Al.?P;>):̾d^r^S/,ÈWjκf5C$N:wvg#]͇% ؛_(2gɁÆ62Q AqVV>]qI@) niM%Yv<Nku4}ca`[Bo J΄iYJ˟3pPIS+3bnRӥm=ijgzURDyv : SL_L 9. G7J.xEyO1g Ծd;)C U_BH,E[`4jzmp }z2!wş<1T8Bkݼ * ֩<(_|[_Ҽ5!핟o8Nv)(â<&ޡSa^~k DYoQrYgm=b&Bht[N5LsrפfTuJ2!tNYpk6']jt@s)":[^6]ΒA?:H0; DGKha0XQʟEFIjѝhwHO !^5=yݶhdQ{O` "\O*7V rgYZ086b7326e4d379c0d99215e2f3c496680177f033c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 481da5739217eee18c801a4e3d2b3fa8e6fd9461c3f08f75a9ae293030f08282b94f2f486b2a0217 1 Nat-Interval-Logic