SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info P d w/ HOL-Unix:threads=2elapsed=7.253cpu=14.112gc=0.704factor=1.957zXZִF! &]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic+ݟ Cu0خk5*(+F:l%O;XA?JE IɈ"Uw8?aoq;e]gHY?EmQ4.+kA0Sw* P^ Ԍ=Œ   HOL-UnixD+0rz&xxuYQ[k!dۭC0Tk9'zj8im锃jZsᵦ ]< f~ΪI Y6"fێ!UJV?Bm '!d IX,dEZF 1!Iڈ谕 ȣPmEF=|j| @+mto}, =L uD3F?.KʫƔyu &'掏m)'5ۧ[b]r,gM^j'>4쓘WbB70 5CՓ Q@'dL'Ip?#8!3dSZ.S땄v1O)R@q&΄'Nla?dX3 nSRi}1 a<8X'js%g B}{^pb+[ kr d Bv M|X1߅U:2FMIgYZ7zXZִF! ,y,]ŗXi%BՎǑk8z$ՙ8$ǝ?k]9cy@vǞ`Yc CaёYwٖkJ+Cx L ;-׳;ELSh`r'vZ*;!U"TPK1ootڱBcXI!}PٗNTY^qg9+r>?_D7> to+}oU;+EѦd@Ҡ Mq)-"[̋cR::rSΕy5zCu店`]qbe r]"9 puF zryp+8i2"R~y\Un'D:m2Oo4gTbͱ>ӮR5գŸKp {?YC xI /`k4 *eI\,_"9UMPBoQ b-?0_ƚcܰ ]'0l%Yu\Lvf &$1y ƳA벡7[+ $H匷-}kιq!؅s4*Ūї*P, ;Y |Dk9Plӻ ^yg[*/L#7$xjwኲ"a; YWXl= ۦH]en%"J6"3Nd,+5P0d[#TϨlD.4+."Nźr hۑ9Xo4:gYZ3fe5941934893b5422165e490a489238302826c5 45f3aa0b751c57da1400acec441fd85b51639ad8 a7fbfa86d7a8cc469388fae396b1be315eb3603f aa408b872636f21e49cc2cfbc24ef0d8138861e6 e080eb03356d463261d6541f2e2a693c31be6d66 e28c86ac4b7163e702238f89b4ab3f6326b78555014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa