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 k+ dL I]Sqrt_Babylonian:threads=2elapsed=15.702cpu=26.652gc=0.520factor=1.707zXZִF! =]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02?d c;"V/{PSU_%b$.-I3(c̿pAQp_ iTqՃ}XCȈ6.l:BZ(ve$~fQ.q5)&8ʲAlŬ=``J?!pSLK=7_Cf0s\u$B2_"͂'ay g'j=J3zhƼp -WL 8-({k%*-I}}+η6+t5UAJ{D0ĭ1F6,=3J'禤y g؁&ZM $5nԆ;.N4x|xAC:J`fB;|<ᶚ#3= :A' QfNm.zwuvSz"}grS6Kh@K(} z!7.' SVH5XJ'\Ng@H mpYioGW\q7F/QPHOO D6Y,KGԚ]뼮&T~||"n"ۓtZ1%ׇ(N^wj)N5k}:%XftD8cTe!do5d*oߑc:*qa S+ }A$Gc [g:OpVUT'@@c=HXC5pR;ٻQ`0fᾙek*$OCZk2ɖ1}_.UY Ii)X 8k=T8CC?EYJXҨc)c~nl% 5Fa2[ PkL.vD zygYZ7zXZִF! V]ŗXi%!Pt1vJB0 ތ3gv6ٖ`)뎉%L"Nfe):l/'nԗT8ː"2ӇwMt6u ;[g/k6qO$'(`Q B%_ KIA~ﻈˌsϯ\d^ݔF8|"zz&qvړ/xbHdwfuH[j]-F0{!ZK6ˤt5Nx*/RKyo[vLgf =1 ya&YbݥT`g379z6XSZnh T`W +h$ {vʻÊQ}FPTZ͏ɁḇR9iߖOb °2/&̖`ϯW};'XpEK\U#fCM[+Dϩ:#^%YU /<fǢkFgM.ð 7@?to02cF):jQFߓjmT@ G~pꛔRUomԤraL`*A@^ FmޗuSu,o n{Nw\px:u4gމ}4AۙwSu(}t$ĎTHETT^tOo={<D 5$B|HgA S׻"q9cnO/ Iq0+hɼ:v n%{FPTFWT= ՟(!{wOfXa(yޢD"dEb":2,M\O?.qFea?2egϘgY iPFGͭv!$~.:P7 A715YFo6̢٢jkqI|{j .Ѷ:Z/M\>Cz%IHklRt\ %1)oJ#2烚޸]Adz_P4XtY#&%GPX*ǽ cԅ_Gzm0#+CxIMm%^VP{VM{j$ X""{Yx', f٨Z- +WgYZ30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 64a845b1220ceee7d28a066e234aff43a3785d06 942048c211146fca0ed89d8bc8c594e9750c1b8d 9f9c809496c43e458557929e05501a0e473845af be3f57299b27044d9a95701a925c40d17b38a3d9 c0b968d23a82977de5c5376fdc0961634308f36bfd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 248ee75219257f2bfd26a425caac66c514d690b4b7566ce3dd391ad3326a4f04b7b5f5fb516082c0 + Sqrt_Babylonian