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 &1 <|\ ]S HOL-Probability-ex:threads=2elapsed=38.845cpu=47.480gc=1.532factor=1.227zXZִF! ]ŗXf1-q恈wX822*,״ {2I[R :28BmolU!"H~JÒ \b2 #[kJu *GWퟗC wJ 63]H8e3\}ZGal>/wprJı r38ER;p|)P?%nw4dEJM3(]qJ&-+y^U>qIqr PU`o',aMYcfulzK[ I—$OoWVp;+rhwHysZÚ) nQjGs=a^h$MgYZ7zXZִF! e]ŗXiɟ1˦r*Ǎ9-O_]/9/`B'QXߨbƣӹ'0oi+>3kT㒾=d)XM&R9 S 7"=H:!7AF'LƿfBe&W_.& ; mfYgYZ7zXZִF! ๳]ŗXi%>_=.mP^tsoVL'[Cu'Hy>lZ`9>Y$0gTy#[QX[R8'S#*r^mBG  mhA׺32ojF ov3L:ۘ|rI&cC RP9)Zqd!_MXhJjMtl P6UZ g?BI }4]YӀn*d0DZiBQ]Srڻ=!^\NoTbWgt(h'y}hMBő#Ow"$9wꪈӠV@-<#ފF;X%Jrl'ĵS.t IPGx!'UwSVd(J@JZ^M/n"p\GE5܉kANuUzN{ee]2VV1X*esW3!Nf2[#r99b<-¡+sH J?rٞ"]LjvWP1t/!3c~!=aY\"B>Q H |hxkzxՊz_HQ2Z2$<Ɠ}mav &S4*$mJ:ZhW٪:-C!-Q A ;z?9P+X 竻ioF RC ](ʪh"Iw hw[G ٗ[3 ?t/7?j=\q-7B&Ov Kdqdv8\;/i=t} 0b@}ZeO\?5eݺHH0]pXjTo'^_E>,Z_  XERgDrb;p rk\`]8,Auje0jh7`mfydHF1>MG޳$&