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 u% td ]% Stern_Brocot:threads=2elapsed=40.434cpu=61.776gc=3.916factor=1.537zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMjiuQ*;U;zxNUj삋72Blqi-ʰ3|p6J`tWX/f\7[ Ca՝SשAu)vÏp<ᶋB0jn @}~3={G6_f*ոpx~' #F<12<P8l AF0?@S$AAKTbE>]8&fmXT96)(f11}`r n@t],눢Cq*ETV3@9T0[*y%: ;\Ti~9#Advɨm|Xtkj[BX}G\m?v$Ff!le:.qQGrHQ ! ohsKvZݱgYZ7zXZִF! ]ŗXiɟ1˦rG1)IuƎ 9:_(aehWQi1cw\ҫTƦO? -ڭlQ-4u"5%$C\ZC(7H8 d*\󄻣6JsfԱHtVAkW 6}3t-BzG pB%U8oY^+ZU߼y,g`'nTj]+r$v_P;ite zzẕ *TảPoo=_] jPw $t$Leg`6c^tG:00e:p3[dpĥIzP>ᨡ{4މRC≿7"c"侤1ovyHLݩS%8.4=X/(!}+L}QlI :zD$cWVuPiܘ}ĩVCϸ%q|7 ̳ChPHC`Q' j&wRJ,d?m YMh -44Tn ؅yc5"*A.ZM)0۱rut%e{ju`3yaW*~K]os WEh5-38`%ܻKJ0KӪͿ`3ʥ3=cPGWi$:rOK&Y:}Lu_U*󗯛ܲ4mU7Q ;\ӡDA PSLwC='CKY cXs7L j0Ibd X쇊KZQD8ϛ A* XT7?nZRcLS^Cz6(LRV$7&`^[ȯi2LG)a 0p''RK^qbv,@Up)ӄaGy^ŗ|rz #GRhI&/C*|;'pÄgYZ4f8a0328866ce90939ff052a68a5192d53cb94e1d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8 209f35b6b565b15467dc1cea364ce9b398282eba de263b6e3da1ab848eb658109a3dbc13264c2070 % Stern_Brocot