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 &1 $ d ]S HOL-SPARK-Examples:threads=2elapsed=15.502cpu=26.528gc=0.944factor=1.717zXZִF!  ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)+EKi8R(凗#H>K6 1]YȄր-xB&ڼsDa~w|R{p8l𳺷g_g ە}˛ pxTd}ҧ}1{ON.n8E:\hR[_4^9sa%Y/Jb(Mʏ|ʋQ UܒRr<7ENU4 q|1'8]U|s odډf+*j!='WW>H6os{]qqa0_e~O|*|Oܿxgqq0KL7PfE1&i{lQx@2ݟER"(P5Indų8NdtN#RnK&nIx*rg3,C8sL12,+2gYZ7zXZִF! =]ŗXiɟ1'HGu C),_=g~ {^},Ԃگ q5ן3U/y*';h|I8J uQeI挫*hzC8ksaERl5ᕉDc>5gLC_'2,,`:clLHr`e 2m$ՉR=r6mD.kp i z,[ l<buy$ꋝS *-%0?n2 }r+Ҩa q 0tqXZ&+'<蕓>7vnk+l׺1/;y.UT [`0w$qX>]MOG-ۯ7 p逡o{׺M w P+-L g6[eynPߎ46(k>Q8jĩ 0Wdڼm ]L^F =Xbg4bJ)xvÃjTGR9 qfۋ6p`b$$+Ga p3ן!@MF7=][ΈC)yͼ X{NeQk7:/d/ʇ(.Dei_QdV$O oʢO жAYlM! R7<.S؀%+Ug׏EOTO2jABF ևJq9 @7 }]'@ԝN+N]D6+&^2%pE+]{WĦE"ygb&:qe>~^ctTOfn dQ!\A^ԗۜc ;3"]ϻ`/j]R 9oyeH$ %z3,S$o&R娾~3AbF]uݧ1( N>& q7UoRCğ sl"SLNdZp T2b߈:4`H_PNrRjVpŪchٌ6t7nvE<?]3o'`cfwgΎ)?$'& ّYfsgYZafed02db76517cf7d579da9ad74ddd970a033a2c62b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 36c18e051fc0f64458a5e171cb9c458819514f2c cbc53a76be3d5b8f50a230cff1422d5dda6bdaa5 1 HOL-SPARK-Examples