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  m m < ] ZF-UNITY:threads=6elapsed=5.110cpu=25.584gc=0.832factor=5.017zXZִF! T]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđys:`]W:3ƍKrջjv03@ݚj#iV?sǃf#%C*-"A2%+$ħ,L}eDHQWXa>~皑! :6߽[0 mi,- MRwIhQ E凞(vW9⧜`r _[ynYw@b{Ŕpt;A EZMG\i LJ_gFQxzNt3'}0yG/[e0xE齘iIcd\:s1Z=˙z@qOj/<*Cމs]Y"_lV)?D?dpj秲;\-ċ0կCey=gYZ7zXZִF! ]ŗXi%6ͫy|籦XQS- >HS9$Vg9>O>״!"<|3 ,J } (I=u/Q [>R:!pat=HV!:X 8.cdNF(t":m1*S>Y [rF,܇g xd S~&`s2"Vep@:$K #z=z o4/N9I_9>7& A_G8J*w臋Z[Zu ێOmDa2xYc+z 3\cV^-mW viҝAm%W'Mn 8l2 ʜEor0s_lc87'o Q}d6$߷x~r @ȩ #pʪmk˷E2Dn?HRĂg`, U]էRFټBH 8ۛh0tiQ%o{Y&!n38i $tEvqS:' РJq,Vf8ߪՃR{ӵr{\ԄA( M;e $5 a)GxI5\)vj (q'&Ch v]L-b(;&(? gbwsQS B2-fY"MbLUH6R|,3gYZf99c2f09fea2346da56d547bd2e5e398ac6052b24c1c895207ab9e683ba172ce2764b942c7875d56 d504b4ed2f2afaa1fca4aa0ad4963e4fb974b4fb ed4654b211985d68baff5426a7024321f63f58e8   ZF-UNITY