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 b |l ] ZF-UNITY:threads=6elapsed=5.192cpu=25.676gc=0.880factor=4.957zXZִF! ]8]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3hzf|.dyho֚e@o;\@owH%ЉMrw{>#t0D uwx(F7u1U,@p>vs许k@a]%7?'(iv03GJ&Ro)8vC2$q] t&=[Ejx}eɣGH=}($2 ڛ.< Vx̴p 6ʤxɪy%M}oz `2vSZ%oOs5e/P_g<;F@潨Rpuf΁IXoZ)%12Yl}vU?/oXpѠ:/6a}/>ظV@_6P a({z:$>>mT /Vy3xa)2t_A漇NyDAjv, P"w) Ȃΰ&W;T^Yh(t3}{1*װ67<;/xs\lIogYZ7zXZִF! hn]ŗXiɟ9 i:4V;}A<<ګMP7%ZCؙYCqd EjLTjxUg[ 4BlطUMM~nn(<SǪ/;S$.-|)jQ_!`PdȴC$R Sg&̵@J<âϜw_Ec|ƴWݞyړ /̭]0C(O :9y"< #wjT't8'd?IL@R] I{wnH`DL#OȴYz1,ȳ濘f2 Φa$Wwk >gYZ7zXZִF! Y]ŗXi%;=EtS!3\jXhY\AkN@xr] b%U 1Q$&'.ϋ`l~(kh3cשk~xU,U g|mP=A@oTq_s̛(N?Uh?!y۾>>x%Ml/AM6zN GyٮyhmUVY,vy׊kO5w]6MҖ9(d c.vi_f-m_V: ge ׷Ec8{)SS4h^$?7d1.έq6IMj5c JG&ǴMH+A!-˃;q)X?^.۽HY[=.r~ڲ^5vĆpŚByC>K$^ `e c]$=݀$ue|&$m>wߜ{_3ۡZ!j `ou;:-~@qaoaR [I~EGgN-xv# 4 "w虷H"{sq nc j .)t .闪)-E_%5.)3OUiߗ[ez}l)u%y w|gqs|].R8ޱNSK~Bel =M7,K03}I␭nx{8(*%XgYZ557982b0d06883e5fde081e7b7c96d6abc5e003410764ddc346d5177be378b761316527db367ec3e f3dd770bac2323753f63631a31c86b8e7c755052 5667e68be59b3ed3f24ee54c5dc8ec21db86e5f3   ZF-UNITY