SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info b+ 4l I]Sqrt_Babylonian:threads=2elapsed=14.748cpu=24.320gc=0.464factor=1.657zXZ + Sqrt_BabylonianִF! :[]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02m%S;mOJ"U/[)ͨvmRt+ Q34%@X9E։rK=+!a_>e4E..RY7A~ M{dziעWmH5%tUፓT^ wZ`ƄG_h鄉.|*: nb[WFNCҏ0ɩ6]v s=sƢKsxvGV`>;pBG['TuʫZAIg0E8}dRő0^4\>oXyDz{√ͅ]lCm}jޒ]#/k'4PR]>8w^ib/E .!sZљ~U& g^Hb30Enq o[76^a8xT@'+zSQ-nGo u߽[O*@aS#$GkNk\(ȬU I)?MGeEc^)z;VbRD(-i6:Wp b9RH$F~))WN^' (V*w Ȕݗjϸ˘=JB~.w \50o3qQe䥀w4=aoK?5G,ToIxed؉+EG*8ʕg يpHC#g]V|̝~zz :c5>h~uגJ{g}_oղ3arb8~\:V㎲a]4-OmcEŬB;(If7UlASJJGKBSII O;[+)УWDg?3{Lwd_1 caZ$pfwI#]1 *˲Y`"7[$ 4C* t)ұgYZ7zXZִF! R7]ŗXi%DQ&u}<7Lu0m2" cQm-2S h͈]v2'h_L DLYViby!ICcrk tq _tR4 aD`4tbCVs!hC}aoߌ[D:Ô w;7]Nk{co;uݭ1_W6U-n$7A8(V6" UUʖɋGW6>'&]bTc& 6m>Y8XzViG+̸ 5a4lD|FOQ#{o4w+u0zr|i hEazOOatX (V sD2ebà b5B7ww߲@5(v3L>'2䱄n'"g30{@% A)]z=c!*{ЂQcAtb Q?a.X[(˭捭i~GzZp E^ ђ #Wa M;m}joK,o#k ج+#()S๪%!Ϙeĸ >ML,fBkt+X<@RqR .yft@B -m*{i[CqQwo90x~-"Zb$4Z"kx$D][mmņO<$ic rw~"v4WaК8xrSx`ŭR{)=xav.rH h :#yzJEc8Bmb%=a dž- )agYZ30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 64a845b1220ceee7d28a066e234aff43a3785d06 942048c211146fca0ed89d8bc8c594e9750c1b8d 9f9c809496c43e458557929e05501a0e473845af be3f57299b27044d9a95701a925c40d17b38a3d9 c0b968d23a82977de5c5376fdc0961634308f36b7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 bc7e92be8aa10221eda815d85edd0e8074cd5917c65d1bf5aca9f16e124f93a1ce4f0d1cd05b4aa0