SQLite format 3@ . BBh77otableisabelle_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 33J+ dd ]]Sqrt_Babylonian:threads=2elapsed=14.669cpu=24.200gc=0.688factor=1.657zXZִF! |]ŗXf1-/6vR[]9҄պԗzX{olD Kx!SM~b C^bV/"[` (IRy^Ea'Vd4CNS`W]疐?H-]ӫ=sP7 r)\y?(2-]`=늃 +YW zKk4uԚzfl;mDgYZ7zXZִF! Oi]ŗXi%9#NO0 =Բzrl&`AGL[VZA2MDr2čaU̾[DcZC`ctTU!vB{,0qpXVE ^op_XecLؾcJ#?_f<${->حZ/BU߈XZǰ?!X!uxs[Ԏuig"GӲgJGW>]+3 oND?4[]LjY&{/!=B!Xm `L&UegU |XҨ2}%,f̪`&"B{h!ˢHCHMi_e⍵ 3!#j[vCﰔH| &d"3qt.SfA{#ڸ9\,&%-Q|nz[ˏ N3`.(Y+vl(O$bcg#W {cz7o*ұAZύ*8\Ύ_.'ebImؼJ@6eYyN0 ߖPy͎ny es9xƭۇQdy*.٬~#|LC,ψV6ߑenjћP$[!r+9l1/ґGa𞁈L'NrɠIuNEmR9yf/:a)J0A+:3w*6xba&i6u3'cC){ELb+Cl487V(*ܖ~2g tGxtn]!8Tp9bҹ(x6C+t&o3"hc+IijY5ERۛ4CcLnj駧ֺoH.֛|ĖJXQBYU;\HY` %!7Eͫ; &5n;emnʥcB]Qb#ShsvmgXz@݆͇1s7՘#&2Y> ԟZƱgYZ6ab14134e0af35f351faf3fa3eb6068c88b348638ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9bd9748c2d2e7aa11c37bf27fa98493b5aac7dd38318dfa85f27d135927d31528fe7c718932c0260 + Sqrt_Babylonian