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 ^ |l ] ZF-UNITY:threads=6elapsed=5.167cpu=25.684gc=0.860factor=4.977zXZִF!  5]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5TŴmN+#RpY {ll2Er[ \֫0\MQf̴fv&V( hNOrT&E*z${':2V;l Q%;-J߰ݣ 40KlYYN L; K4X>,JC`aPHl`S* dŽZ7OLF2^j?gJ$ɾm[}?V}%|x986RgɱPI<iv~Yp\sI0Q\A/kuŎ%Qny^k;ؓp̳`Wii]2x^R̙XُedI͚ƅW|q}"|+iR+y5@1!;J9۾t;dX"B 7HLAGiO # 8۴n:^gYZ7zXZִF! hm]ŗXiɟ9 i:4V;}A<<ګMP7$P`ZuvZ@JSy2GUYUtM,`8ف*'&,lI[PFM@YGľU{aVi)ΒMe{( Lz'1G ~@ó{cWs_g\ͅVB0@OKc?hsЊNFUkHhLUq!g*Jv#fzA.5:@A +b5Ψ˸ҦR0\|o|+}'PNTWo毽C7bӨm|->$KhWL  y`gYZ7zXZִF! ]ŗXi%;ǟ:tO`c2.)Eާ{QC`SUpVSd2L$B+Scy[Nq7D4*9ή Z9XHa‘zEҍO6D W؁ݢ[S >h-$҉!oal~M$|K+0Q|ΰ0L :, Jj%?OO_QzPMĘOpceŨ>R*B;_p5b?{_"va ^P+oTP#Q7Q@BZxD Crȥz?^-%t={V&y) M^E R}##dH|GSͩT&pR~E9(P$doh+x+cxӣDς5F2 x#G؁O6r%BTxJN^2etK `O4wb $O7OLEu6Ub A2\Ɉ$n/{I"iv;6)E'@: mXGC_ zj4EgVc1Y0 a -jޣ>NyeQ0>E;s'8u:<.5pӉ1ųY2m1Cʪf4N\O$n=Px0ރZ AJݘ3! *