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 <<91 ,L ES]HOL-SPARK-Examples:threads=2elapsed=20.313cpu=32.412gc=0.760factor=1.607zXZִF! []ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)}gYZ7zXZִF! `[]]ŗXi%6֟"iSĢ;~;Rqaa@xxܤ*!{ e͕ 2I5(I|821s-vWvTLts #9`v(U;s"YN'GhZ?jHAsFyaCdzVk}Uo@'䎰H)BDHTp\:a^WrWhq?Xg5h`QvV x_DS::mpбzNo5끇ҀqYV2u.U  |%-11+5H; hXlҜN^%Zr\PcHh6~rh޳_Fнs357eQ~ {W)o ̤^%\Gz֟rgR }.~*]g-Ҷk>H3'STcMVx[/!0E>#+bDDcr _)wӮ W|WL*)mh<%[g} R "HDQHa6FSm(!+(Ut3qvCK_G TM<{/|z!kc=p?9 ),4))B}0Df?Y {>ا&q~XAk%Yq1L s ظzP_|J +&cyy}*YG~]hVQȮ<ЈOR Qi=δQo:XiaNL胐f4 p 6TizizPX?1qǣ[?Z: