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 n+ t$ ]]Sqrt_Babylonian:threads=2elapsed=14.944cpu=24.568gc=0.772factor=1.647zXZִF! u]ŗXf1-/6vR[]9҄պԗzX{olD Ky+ˠ-yRRIa(/Y/svX[x,/?)MoqF`xL5Ja<ɼl#.N~L.rh#y=EN_s25guL b8 j$njg*Fnp^`Ըe?F U+0Fp 10gYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(Vډus;)ĭEmsݘ ,PCHwan[JMtvax, :u)S@v*u< ߪueWZnJhM4gYZ7zXZִF! X]ŗXi%;3J2XұV\cSO_С.o2"R[ݭ0KSsJ |"s9 9oi*һxO+Φ)J"ooWHup!\zgL\'A 9VDͬ#t~ò0&qk\g,{MX͐8T0G+WR9>\l@SyKJv~W[:F|{c8N/cv@Lǿ'= +p2zaagS淬@Jx]Iÿgr2Z˦MQKL) Dr*"`bˡ ^(鳻P3 Wu0f*dJ;S,OW F*6Sohy,оE1 .@\XvCjm_h~qlpAQ .!GJcyI "zP wgI 6k3xq.h1K};ɚҰVnSW0J7-XG:&,>4oĈKCA$wnݫGLċ\KWlЍ>Y281QF{m']5~D3v%&tl]+l)D?v$p5sT0?GÀp'_hkG01^튆Vz]:}HѲ>G|]Xg6Qfk|3 Zs =Rn9IRf3G#׋,r&"G,xEQOOe8Lbo.D bT!}V{ *˃S G#҉ "79 ~F(=UwG:DZd o{%ovbl) `^7/޴C[*y]3'SŹfGrPސdQ亚` ,]*"ٴuegl `"#] LC?]Hl]"O`-=F͘ i"gYZ5a7d97e2950663ff0f43e0766ba52dc19d0ec8c6665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 33e746cf52dbbfab404bc7e7453fc525bba47f13c187f1168a4e05e06ad70fb65dec76a7fc205629 + Sqrt_Babylonian