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 nn; \4 ] HOL-Quickcheck_Examples:threads=6elapsed=81.081cpu=168.564gc=6.328factor=2.087zXZִF! a}]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏ[OOFVˑ)~8 y 梦waЛqV-{n(s/#1b&żPye|*#Hs ̘E#wW'a.l$Gnyd>TFv"yʼ NnuUQޛxc ; [qYXi6vS!t^ 3NW $']" } CcE-˱U49;I4mQnYqJyL/)VtysSSXgl#bV5ACbafsbHў":'92zk/>Ν }ks$./y2oL%T 4̽ulM+`be_befC\)F'K᪞zLjZ7M =m}wO*|4YCN f:JI58ҵ8A?b#Nw#$o^ Z2eBqs˛jD{dl@> e$Xm&Aܫ9sY!E F4 KDɣ=y?zfX~31KG ܘϷAo ,AQǫD\^  J>l9{n{MVNPO.N AK3ԙ+,HVU;\ңX Sp;Rdڜ |DvBqBbGiͳY4%d|Ղ[MkD}N9?H<ә`-ԀT"'rq"<4vG cLMS>{;<7ϖdbF:QZӆy"g MO⚫>cw\ÐM*z D n"F&7>ʨ)/(l!\Ѿħ'.`0%%p!|ދZV޲QHO<ڮP *:gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW M}u-M#(R<6@lw|503XOr<,!l戨U"yI+ =ѱ 3C&b9z-ZIxBij 63$+{EXv P;Dʥto&!}FNCVя{AMY C| \x^ WC]/ў3aV }/ĩg'@v}i>~0*w6=&ȇY˪Jkx-+=`f  (Qo"hIVF1wJ`*0JVo~cv`i%y$ A`x] nmOp0|Ɯg+KVt ;b*֏e[ɧ;fI5v> bB )*z< ؼKS"څYjBWnrն,6Qܵaz|{F(Wzzue3$Pgzcqn6_3$83kJ؟TîىHonDS p k p J@ ];kTB =O}̜HlqG_d_<> L7VBҴDtl'R7x˝;Y_A–ֶ3FOv*ˍ4^}ڎ^SQetn۽w1!Fۅ:\/p2x4yPLBQX|rWoU&t]6S[ *,.b*Z]R yIѩJNˀeNq;7HU^,br򇹦 Z" ևt<8"WY^"O'|o0W$^CaȶyN*GR2˃zZCt^xEQ9TvZxzhfڃ,/]3._/.Ev;gu#T砷8gz܍̛1l;]I$ 2f0?w(~wb w3%@xTDS66XG^ߺOPr~C3{;"6Y%޷DsZ|RMoZ:'(3BVO +Zak ERǤca;pTe['Pm1w5] K"y}ݘ^P; <燊4h;k!F-Jz@nqtSQjzTd_[0f82nc0(w3K=zFhML#ogC-:g8!ݞ#ql#[>ڸX3D`J1^ͮ<4$"so NjiVrtYwݞ=+M9nzߟ vK:CG?(NIC'v;:7qZ qp4f4{"ˋS#ΐm@{mo$×}x+> ?|{Րr +c gfz?2 5?+n {UnZUv)y.v`+μMv ]Ng}G[5G7'B&B0bař*=뛝Pt$(@e7uE"s3'{τE6~M"""P }pL-Q&2z >_8<a=6$ l"K,)y F8˝oDF.UݲR ӂ6޹\2u ft,k/R5Ş_0^+}v~M^ TR E;uM~l57]Wbc_ ol +bT9$@Qn뽃s"/@%W/4'uUH2