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 g L, ] ZF-UNITY:threads=2elapsed=18.371cpu=33.884gc=1.460factor=1.847zXZִF! Q]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb/y(VWDN2̑ 3R QCnJ{|x rKeB); k4,:kĘ>y\?oa8>ynP#w@'jJLFHN#gWAxtl`[$n|ŖER GF=xlҚ/>q!2y@mrvȋPv!צr䍀,IRrIJb,$ }Gս׫=%k6l~J*L\FTf~?(@vҮڠHY)&˛,SlDSϻp;5 LT= !"[TrFXyP7Oc04lqQ_;ur& vM|w5L@?Ss#'lޟ.~Bм'lJN2(rٰ3hׂEf#QMkO =4癜T~(/aq~dUvyuavsII.x|굺bJ{=HzZ/ۺ;Wc%QYf+6J(OgYZ7zXZִF! h`]ŗXiɟ9 i:4'9Zfw4 _.9bkk[87uO_-Vs M2N79$ܾ9:dk=(pV=Y0(Ζ^?ga𙉣B{v;tqօWOrԘO9 Tk  2ҹW `>Ĉvoc;A/4Ce$v(;7p0~eX?p9z1ZDkqfC &y8|f{!){FRyثvjGDTXH"1I#nE FT0"|bp/j %}gYZ7zXZִF! T]ŗXi%96@j6y\ORO'=TZW)[HRlu@G4p=h"?g2wܩF$ 8k 93i^h*yZbUň<5ؠ1sUӘjxAh3/-l-ەJ+ )@IKV䉊x.C˧N3=SPƱE g[ZDUREw9fUv w[*uF?R|A?P{z~ ӳ f.4<⬮\X0J%p вԦ:|iEgӎ,фP26~?u}$͠4'X:}EZ.Ρ5@cZڷotm5+ qMD拂e J+/ڜu9g c@kX2H>OD8aQMȩk&_EK >e͋,XWgoV0v.zMsHBw:B&Úl#ψuj0@:і-ZT*8.y~`zOhMll%p'>*TG7ү]q6'͂blMŒػZ)~?E…ż*q Li;Ethҩ1~F @4] Nƞ,KHO#cgsqg!7ݙl0;MT7TwC zQ7!XV=ߘA C=gYZ397ee3eaf418d0da728655e42212870b4eb0d4fc3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 11e57a7c97c6f41036a70569659a4d0c597962b5 1fb1482aa43775cde9245004e13584c52aeb21ee   ZF-UNITY