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 ZZ#C |, ]% Comparison_Sort_Lower_Bound:threads=2elapsed=7.399cpu=14.468gc=0.844factor=1.967zXZִF! |]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkI H1.7^pdQj-e6 l%&{Aog-9*0q <1P"zlu kZ=JkR dX Gޤ(@]C5Ba/1c 1\ͯ]o8_ДWUpNZX p%!Fr`,LV2O'U 6/p5 :#jE-ZI8H>!VREυXnjAvc^r&1xԱgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۵F4m?PrCʹ$[=u$$X®w\H{^;]!R*(Dh:Ź(q1nGTmͶW2my1ᑲo'VLg%u3kŒjq5rmܺl8#%wT&gYZ7zXZִF! 1AP]ŗXi%;ww׀bR6&뉏y+sP eӓ+~:2D|Hzil6AI#&mT+D |p-fƻ%N=Ъ0L )T;K^ *9wSTigbqd7cO;m$:Qh=X|tZ4-S#[3 t9g@k۪t1(\$6*ӜpxQQt".p6·jٞeL%O/*YxY vI_7mXJ>?9KRm:֧7C`.qW[g2sSB6h4`0'JØdz?1Q\V56njXmjflJO>҈VW+#Άґ9GJP6|bpAH9gYI@>c(}gClS$4^mNJĈjϊ5Q̧M hE΀^H݅Z˭Az1*۱:,.QpAHWo>(M֞Iގ 'o}!EI"wdXHϻlk*eٶTMwjؒ]x+JUȋ= |[7LՈ,Wlo)Q0BoUVt]CAIWa6j5ۓ$`},W BQ|K ĉjP'"',0e]pUONߤXs4cϨצܡ3Ϯ@+ &bGÄgYZ8e4b5ab575d52959a5c47ce9dd25f0da08d4f13779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 27380dc72e623c038461b5a833200b5803ef071c c757b7263d265a3574d166220e89080a72403771 feeac492afc49e9835bcdd9de5e1e9c6b31e0cec C Comparison_Sort_Lower_Bound