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   |% d ]/ FOL_Harrison:threads=2elapsed=11.740cpu=19.332gc=0.580factor=1.657zXZִF! {]ŗXf1-q恈͐7ӺV #`91knTyڧ2F1U1Tm[IbbA"+4@fbi3CX)!pMIe0xLdIi~+D_t{a_Hp^\oL!KMٖW"dL9H0їU7Q-@R6] O7׿o_9U]Xy 0Z Z m-%y>b(Eй:EqŕcY9 8_|&d!Z[lK;骚ٯJpqh-5[B`ވav4fP"c璫Y/CNęNTUHgYZ7zXZִF! A)]ŗXi%6yA86pi`<꽬j}` 7W$WMF\+*5pY+̰9e^ ̾Cd ne94Guzi~Fʮ.Ww Whz`]83="*aKL{XJВ $SE1xso k()cٍ %"bH i|HFΘ\'] SA}5hG-8,h2eD~tbɡ3Lq(!<{ks4`$z1vr?0ꄟh~r)S#GBJI@yk7d+QQGsP=ul5-ybIAQmWN٦n؟lɘoYa e ` ׻?8n GV.Z섒e z*Ѻ\D8ٖ `2 7aZw{G%(X:[vSkVaJmqbw){UD˔wm>\dI}!V E>$yWH%Dzw"aLoVhsKi#uŐ",paٖk)-ߵF[Ҧo X֐vYe0 \6tUl ]SSu1DDRb(Y5u-_)9oR"Kj)_GAcb"|E4* >:7: