SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ;;:#4t| ]w Knot_Theory:threads=4elapsed=42.456cpu=155.060gc=4.948factor=3.657zXZִF! HS]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjj׿| Ǡ(tB5쳳(M#6eSe 9%~4+m*{dFUsgYS|&du%pE!]5PVAÕp!˙}e1AYx,3m=R34$ X`=bjD^q }g GB>"t`+V83&"K v@ (Z_5|3`ԍ~]NB/%SQ[(EH\:g"Pt/CX4<'1V<O&x)k@ S[&d5̤H{n-bS/5n>MX_ 8L^1kBn/C$ryeш%<.j50y>@`}VZu?.@<>d )˦gU$: QR+hWǏ>'ئGz;gWRP|eSr7w 7[Tۏ3'U_C+ŕ82)j+\OmTlSb{J9,r钤| NN5ʶcPC m߇QM{#enth#oLRReyE+yRmG2J;G 񶛊>D Bv.'+ $^qĚMƪ *cC7|qFxLiЗeQ-]`fH)#%M(ULSl)+^MCSliVGdGYEyDm.k7 yT$:q37K1$;G$6~F2F[LR9?J0$WoX_$ҝ=V3d~kWc:&ov]': RCdC :-@BX 𕓟\/Y`wv@CQ3d[8XX Q8l,[χ%oh9+̉[zZ $5!KC2p]->/ѳ+8: =r t1A,g")Yq{H%^?>my`uV8Ty *!'"\ȃD_˖’r!*|BRQۖ3bvH\+r-ǹUc,.O Ħ0"aӤO M;#o5lA+7$@Ҋ=q9-($ƃnF> Q/Iӫ~™E/ +c0#̻4Jimr@H6nۗM2C&h:}aap:i|EGw(\4smo>軫2 (ˑO.ϷqNkD jqق׎ u2jY`HfMA'џğ;Fr9¤κO:!:L.KH1<QSk^J2g0E7{H'?X+l+}w"CTdDYfi}v#8]v|=:oy,f:yK}";dPo%̽fB0RcIj/v_Q00*^7ʤ1;ŕdV$ؓl|S- -! hާr&yBa.,%oxy:C@!9d=Iz$-gtxU?\ڨLrF3v0f4: b)*,sw]WS E`$JHS3F{}N M-C!3?#mN22tA99owb}(Յ#eYFsC{7i#lI'7|orΦ$hPQZ@{E`EFk]rX*/3I8AReUa4-G^`*37utɔ`]ri2[$g2UI6;K~d6¹!VaBC,nh>9֗ Y Z6XIAjSL~m}2yLg`6 )G:BϑQyM4 Mi -pD3} tLckb:|t >@]KM 4qW;2%~TY8V's<ԗ}aw}>g{t ]nx"4ئ- ;]fy O\d%oAVLbM/[aVC˾'AwTA?k˒vjL-ɱE&Bjص!2"Og4ܶƤ6Tͻ8#;̎$T+| K;uy?Zᅅ- fAgn j,4$5ؼ^ɥY]iLJ"n|I: GN{n^3RrwEx9ړ }Y잰݈Iuh\$G1GDHv=YAVbOp"mK}}K0j kDy/sa|tw{~9wYqxk( x#=?"C|%`U^.O1V L=ȺH쓚,0D&|mZ*)*m 7LE6A?^f|!qqW= E%:9 =K`o/"$G.˛̦%ٕaY*AQW8 &r|w(kAu= 8-Lb*j(6} iF;9Nd RXtZ[2VG2G׹O-^4+F>m3g/sV|R`5js !yVujtvLwp.GYOw, 2L଼7go ƒ}$FVAsoЮ 7[ VVB=,zء<%ՉǞO %ƵR}Gr O/hZQ^PۢJS^`!e{k:l#