SQLite format 3 @ .
Y Y Q77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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
O+ << I]Sqrt_Babylonian:threads=2elapsed=16.063cpu=26.108gc=0.508factor=1.637zXZ ִF ! }] ŗXf1-/6vR[]9҄պԗzX{olD
Kש_XM{|N'02 Dv ".7båP%>ȑx]`e14 #tit&թk;:#?2:L>(\[v4O>YLZ'oyeeȇWT3xD2>>%Lc><áw
T̆jϦ6=#z" f::(np nyu`D ~hJg YZ7zXZ ִF ! YG] ŗXi%y]Ĉ*T w% I6_x: e@ydiV)?^&Μj'ڡؙoU;00} Q4IZ+ͷTkm+0Ъ0.{}C(dQL98aMRЏk5b}Re( @rw ?VIo"uGA wЪ >!еat # H\ ϻwWVYQ*?=m_ρ/PM!
֧NݽƿӭY [ceζ33$ , o&K}g!5UUAPNVI￦~ ~dhEjB_]. Py3wi4t8|n;.'aom"E~[d zʤTV.˩wO[(zkURO`X ƺ\$>mqZoËXfrҤ ށzDrtl8++"<*:at+_+5뮊@fU/VÆ}ae"ey U3/uņ{ Yi=4̢ O
7)D똶X,m&)~ӝ6d(6PS
zfhr 0-N3䘋})f謕өj#ļv{L=%?*T6$~aH#g:dlab"r&
4wɼj( ^&ت1fi/ 13WbN.Xq 3CU$5 3%3븪z=72d
> Q^ 1`q|@U_y-@?Dt^ߙ~]jg*hmPV}I lgK8 Ȳ sg YZ30bb572f70dbc9e84164316c4e3bbe24d4073853
5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d
64a845b1220ceee7d28a066e234aff43a3785d06
942048c211146fca0ed89d8bc8c594e9750c1b8d
9f9c809496c43e458557929e05501a0e473845af
be3f57299b27044d9a95701a925c40d17b38a3d9
c0b968d23a82977de5c5376fdc0961634308f36b735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
8caa7a6f71ad672a6f6e983f3a05e1e7c1f17dc01e6fe99c5cd0d95e244954268434ef1c2e1bde0d
+ Sqrt_Babylonian