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 ~5 d  Lower_Semicontinuous:threads=2elapsed=7.857cpu=14.288gc=0.288factor=1.827zXZִF! a|]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&Wɼ5gy7dޒpnF>1mUb.xJbTc^f:^0vW9?Yz%m~QO, QEɕq El)ږ'͛9T?L? kaq+iUoWY&BA|1qD&rFax+]g:h*yUMW֢IF՝!dqIme vBƐWԾ#VCbi6yh-V:E3ܭ4u2b@9O;:<䷻GX_/VHplLv>G4XX2_7W(۵̓A\B7%AuR8Ώ~~oUl(o1>PG*f ^k%9УVtNh#M7@)/pgZWt#zmb8C1έn7x/Z7o@xrߓbu4J5rbl8Ja\vd~ e aHo@A6[9dM 뵒[,ܨ( 5 Lower_SemicontinuousxQ(5`0;,%1w # ZfW 3Vi'S12o*Xqfhh.ޅΰdf9-L W.BRi0%5Ӡˋ<ǓyzkFShVeurADz2_IgB/\cVXb*FиnanGϾ]4.x"Dǃ-~g1= |Y&!kHĪ9G35l<2o߈iWgdeTn[-XJZ8L$dT>/QRβ9,z.eV v3z ˢ2yo[~] Frm^ ^ѹu@{H Yop  P7'%e4:鬅H] ́OC*1362EnA"&D8 ygB/ŹU>02$z9_E9Ž ʞt"|c l,@qZ_ 1eC O 5c qpNoƮQYZ)Sя D3i{|23iInw<1O-T r^?䎶[!g_CH\= gz f(Px+oa^-aR2f~RF;' <8sHV@4uL5l'SpmEQp*Ýd]~Nxoe2b(gYZ86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700 a37c0ff6a586dc734eef0c613efe285630dd01697df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 e689e4dd8e5b66d1ce0438e4d78b37235fa465f7