SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info + $T I]Sqrt_Babylonian:threads=2elapsed=14.203cpu=23.980gc=0.460factor=1.697zXZִF! <]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02~Q-gS&*X z;E($tUmo9c<1<:3؈!gBC Ë OBdNKxy{x|6j#7AS. ͌uP}$e *>糛[d vYcrR3@qEM?O~T O(9=5\H՛%TSJbJ\.s3/ċv+T"^/wO*VhTH,T;}SOP,XT?Skj I] ^VYCFd|a} PAq*\(96z(Hsih)n5`ReWd>N\r@=7WkEl\~/[C(9oHD'{F>"UBZ\i s`ff㊌Ԅ[`ΦWo) N 5w‰#o[yẗFt\ }jx Ma>]ɷ{(Esӿ1ߍ@C VuĠy 3`h;Q=lo^uM Q@ 8)RHOR{,+Nep@p7NM{KOJ9o{EP,dDዱ#%2KkLqG(:Az.$יBcM!Y]ӊCt]y xiAQj{:7ʕZGPqY7fJ(َުP2%GdjۅnGM fiAWμ*K}F: 74۴ ?zx? sB*jCO+ޡ2Mt}N pmRpـ>&R^6LU- D:\ lH NUV>Όd`=:Ifm/+' S;wh^-AfLUH{]E qȗc=QFx 󪳋ÌFq(zJԣ]C%RSJaֆ hS/)L `9?8Sy2L? Ih,j쮖C|_^j`7Gq~MQRU^J{wh5G:Pn*g-t COH_Tk@F8{K~elS`. xnafv|.YM>,X2OnWmrpCH6m=NGT#SC*@&IVk}+ Csdđy|1J!ì0[V_՚FbWeMonfxD<"h xԭc$l&~6T۫Ӑ>#DVnx }qߎh֘:F[0X<蓇/,y+rj2(R>{@+wqVFEsR$i~z$Zt0 ShwrշX).bUoo;/.tV]ɯ ||C+z]C28sOlz;VJ?q΅́(KFϦs>) D4AaItgnZ.АiS 8rQ3C@QD*=ͰoАAv(A) Ķ<4Z`q?`Nt3J= %%[1‘Ǒu]FvY{ u`իk]v! ʂhH_nGd%s*n8ο-W8zFOrB*[/WTЪXbDh ԟNcgYZ30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 64a845b1220ceee7d28a066e234aff43a3785d06 942048c211146fca0ed89d8bc8c594e9750c1b8d 9f9c809496c43e458557929e05501a0e473845af be3f57299b27044d9a95701a925c40d17b38a3d9 c0b968d23a82977de5c5376fdc0961634308f36b9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 8e11f87a315877ab6251b160e10bb65d0b336b0338eacd11e742cf5d3c26fdfa825cd8612e5ebcb8 + Sqrt_Babylonian