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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 55DDT ]% Prime_Number_Theorem:threads=4elapsed=29.821cpu=91.992gc=1.592factor=3.087zXZ ִF ! CbY] ŗXf[&Y8ƌ>B\Yqiăx-":e$:LJIM74[u.'} ;u~$r w ws+BRp%N~ tO.&lІ,LÒ'w'',RQ/t|A` "aLp7\Qc5xb~zhk0̳v/,IYnD#DeFEK0rD0%D%p4o@ABf{UW@(3ȃ R?w&Ҝ`[/N"$6)ġe FdC 9*y1fz6@;CuUh3|۾)fGQN=tM̌[t|bmi;[u8"!ՠli/:l]1.)iAwuW¾^HRq*3Mp Yw~m֝ÜsӢ8[T@u뤄uw.[rs3fA"Tt؞®hrx&,; 8{\W,4ȧ3M|5wgX,治_`8H$(v7w !y([_!$h؇m*lpǕf'~~L?X!7ԧOe8"ЖvjFEV)4^BùwU"nZc:d>:#Mzbܑ}_ &l¸xܢФ-?ow._ߨ4R-51nNqNX0Du~]C]G& GѺ[̼65۴0+9% 5 Prime_Number_Theorem :^(q|Le-zW>R&Pk@LjS,+|s)@@ށS8.?s|x`6;f}r-7k,ͣēt;-%\cz_>|Vd,u #R+}̠Xz`9< tT \:XdH(}r;%8x`)MT+J9߫Rb~^ѱ |ZovK4U]S#Wz,&>θR`2R" bфtt?\QH8Hx8NwK(sY;{]b=:>/ =AY\\<38s+Ѧݦ%X5Bz G7,tEدy sg YZ7zXZ ִF ! 9 ] ŗXiɟJd+ikPfj $+l . <2V?^"
)زL?@ (tʖ~rA
eh,[8W[^ ^lZ!f K8Hg YZ7zXZ ִF ! ] ŗXi%B:guq2Nqb3lV(]0!:*{
聖 ׅA>ϞbTo#ʮٳ3 &CxXގMPb==*)>yÚ(խ2Xz/+$d27ۓg
d9@'Z%@{^N 'w./0AQejpGAIύ;6y&3nU"1dUyMq.$C.Sf1Ubt#TjމlPQl3z`5fR.3GbRmȩ5G/vt;s*wZT%d+ @x>SW.)H;鏭EDɾ g`5+~`>Gܵ/
2|Ɏtlf*qUݕְpT46kvaIoizC'
5\gs- "?'P<ғCS9'gbRm{{kDtGzXݵZ襱UzTi
Ow*)t@LS]>w?
Z=٦tOVh#'"R/MH.j#nL3QQޞ>=eSl+^`j
$
'2RҼКi逗&tv /wp8t2f<ʆa9FRMvf %qx~ ]KǦW;˖M?և`L@'ɵlL3o(a9iWf'-]5-`;'r 1H/.ۍXE,}`ޚoLcgIaTr+Oer?Kae1fd.!7>BT"jzE ,0csL4\v;*zM&3ˊS`;sfkXiET}O_54C)_FfPIJyrI)
#٢[9fR!;$T0g8zgD(z>YIlM,|BiGO>c;W6'$xKCY;gRp9K S
n;$Tc~ïD< g&h%2V:\?Vx^}QȩxWb`~VՙVլkF]_
& #Pq+{K&Q 4$'.B.)4$Lro Jľ~ U/D> (o/!jcZy [Oƒ 6tZsiuYQ<&bW$&6+c"2}L7#:[DL
]|Z:-Xnj Ͱ8h[뗈NΜ)f.{?*=Q8iMEY