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 ((U1 dD ] HOL-Metis_Examples:threads=6elapsed=14.202cpu=63.876gc=6.644factor=4.507zXZִF! ]]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVW9۵߇N8%<Kأe7."z qG}5,:ȯVtZ{8-{t<rG'N*XyTQ2sXAJzh! PA\AQ4DTcyLR5fXTu%fdKaA<=:HeLĽ:b'̓{H>D^/ٳ:&yv#v*Bh)ΞeV4&`*JʽQ uwtWR!7r6 #SzyxlٿA8R B˺z{q-M>K[a1^U͒IB6N='C&9G4̈<(+Yy9&[i^ueud b)ڼtāG&d{CMZX6f/#ƺ6%dA柘 XkeDҬr֟hܼf낥Z룹e!7%7*4|n梣&WفT#m6wY)Q=' లtT&GmI\Dm8'Xly<7L8IjwXt3AU-⃘Ͱ ׶1-gS'\/X{p'x}/9ReNoIkƁD:=MN`ZG<nN"Q؈$dֈRԜlVXs厉M`:`Tzw{[_#*cPch^C;ʇ?8^avڌH ć:7 N+je6n-?HmķdƻM"rInCܢx]Pɣ` "YF;s h`# ,H!A(W xX>}SImʤAn+%ަzέ3]3fatWDb_|k4:ɫH'zZ4 .ɋ#B=zA䑊/RWf:<8PDLv@Ž!U.fZG!;uVn' {.pj$)1%th!Wu!KG%V`I5r(w1i†Fh8C 5,HHn,U7)8*=VJloWa FIZ*i,9W~ƄJ $WV龹wP6AKVΜ #ˈRQX%NQWbE5 Ǣئcg<' L؏ݼ XRHe7Z:+U0U6lo%lc:-Tۊzox:~X6dKNic`WeE  =ܒ=tBsń**눳M1KD w˅g~,h^gYZ7zXZִF! ,]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMfrs>WŘL( udӫ\z ujT>=34) a!퀼L]d{>w@xK.Gr 75IDDP9k}/HIܕv$4OjZsL㵡|kOTOj4긤yMo`x%3evAδf X몶Nb/$)V= $#>^`$U<^]%BF ӧ37ݶ6͊`0A:bҮD,Ex0P0ѱgYZ7zXZִF! A]ŗXi%>l!.&X.9h>khE]5Q9^&9;6ڈ[ z|]Wo*y2v OFݒ}QFB(,]UHMz3x6k?<~'m">`'+T7VTMq w?x||1}kߕSd-8#$2$,a@Wwvm~@S eeV/ۇ6=q  B =ODlњë#mSK`<+=`ohŢщid>M)3"ׯ @: Q!d0>:WWcϙC1؄&Vme7) r;,&UL&VQ1|>]2q+˦$V7}p*N3t[BĴ$:6 >:^~C^ ݌ɇȏpsZ[ ypSUofI݃KzrvHg}%>6ؕ:{ @=S9I<u. 9@oθœI)I/pV|)PX),q萴h {uؗD+炆 ʯi7x EP:b0@XW= LE`wtZ&F ڭH!KӌӲ]`Ebﶳ2[o㋙?hȯ$꣸xzoFAM)?s'sS L-(xr90,d.!D ne;H`Ҟ 5=P6Kuyva-$u!)1r@>}k~S3UÝ;sѕ9@e{6w!iÏ0Cg&&Wu!p4'B,fF̸|(z;n |9^"7VßAƴ= ܡXtޣ)