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 VV'7 $< ] First_Welfare_Theorem:threads=2elapsed=7.808cpu=14.176gc=0.420factor=1.827zXZִF! ]ŗXf1-/6vRZZQx= T_<"5DiRm0:Oi0%.yCWDU5L /xSEe)DPGyz@elNy[ EzMqfA`jA*f Fwnҍ ޑJkvywP\\6{l _fM.6s=cEX0 sꇱ_8x-d~/ ,x\Q=G\u-tNntV S(蔱MЩyaId5k*PBdETӨdt7^E u ~Jp{[AY&CRgYճ iH|jܮWC<TdGН~19#`aHgY`ypja[ 7ؾ0^Uli,ˏMG!gYZ7zXZִF! 3|]ŗXi%923Tcu\PAPl:`{M\5/c}Kg,2:!'@@h p̥_xVH4;[:z,!ϟzUZ=RtTy31DxPCrE  }A"m^F]Z ` &P 5h!WP2nfS0GNBډN?.sS"t#C,!ăH=G48ys )ΰ-@<`;_n+nM~zm,~0K@8a.s7/HW qr5|@/'Ik[ #eq&x@; 3Q|ҙ\h)Y5}уd Xm滅;7LK%t/ڗT/7aoA%Hik )_/`0Յ9`!Z X5Zvg 37׼5Xv x ||g.Ri+7o`(p,u8Wc96L$n Ś|ͯc_.I2U겆#x"wҾ