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 BB;+ |T I]Sqrt_Babylonian:threads=2elapsed=15.185cpu=25.204gc=0.460factor=1.667zXZִF! 9w]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'020,2bÖPm^&*E+h=E| 3 Ald+d^̳ѷV|`>#;IxY5RWPkB`KrS[ڝ!Cؼh&)4H!(N<S(-?T0֜|5=; Z^*d_BH(f)JP$V JCuI!ϩ iMz>.Ed%ݻdq^ݴ˚`52$ܸU::a'=쭛?>.JA eӻ"CiG5.zdnAa#wٯ̯wK~?"N䇝$qGu[ 9,Gx 9W iCf,- sZpĘ8` =r9J;l">hzupI[/$ceV& El?_p6(DU.s+;n,z,\\@ .FȊ0#$m7x"[faIƻg .@:@tRWn%2,oDeY'HgBw(!W Ny_,);Dca_5:=*60 0 1)$*ĩ9tylsWu|[3Ǔ{GQ.Ѕʩt=h0Ŏ - U4H1{1 Dg0 H`/Ǐqn^NMXMaj|E]. 6,(R R.E~h)"߭i- ]\*3!sBl paTz;GE4 sABٱgYZ7zXZִF! R)]ŗXi%gZ'EqK0߇?mJ Ue4%jB4q`y8RG՘@>t.ڌ߃TJbbIA~>d0&+i1]uь6p@քaB8(Ci"}jH;l}tUd͟_|z@a\anwmw'>pc`ɾ4<0vm"2[B;IUN\{ϒa.qqDw:/vt jGr"P U"I]0BkUyc,vef3ˋ4-Wm-[W!a$N'\ `+c/͗e#d6Q4/3Z8Sע3%lta#,bucdgV;L*u(&l/W+x򻃀@@$ŕ^{2CHQkY#Mde< `-9E:3 ^F"(xu)Pz5F'8$HH5JRIBҹ"L+Q]鞧xH/,ykASw W}6B;9)e7͊9c+=OqbwI4A##}ll &+YHs