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\d ] ZF-UNITY:threads=6elapsed=5.165cpu=25.492gc=0.888factor=4.947zXZִF! -]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđ - >J )(Cm%bK_*>Ձ3"6W-oka!cHP=PϦ=@7sJbU(Yvԅ mM6j%ϙ6 "ٍޜIJ~qm ՠW(@/"2MɏQ,k7'gqh>B#+Vcc@_91ho E0>|jowR4&.2ox%8,w΍|IV'Q@P} Nr`>]SA& kqG>縮. @.Wǃ:%`\&NbСKfsDq˾[W@y#}&DEx ?A/za_τ.ƹ .rFx;0?$ =%VJ{^f^6 gYZ7zXZִF! hf]ŗXiɟ9 i:4V;}A<<ګMP7 Ԭ[Ou AfēsCT2n_K-e\*66.1\r74)e9{0x Ko<y/Wt{Tث3˔M_7S`FzPN83*Ẇ0{(5g9譻)YkP#KήWH BPit]ը5Q| 5i߯q;6Jl9ͥj.j+6)O"g K#[B? uoM˵Xs9 mqgYZ7zXZִF! ]ŗXi%9,z4gxfU"fo{T`D7H"40kµyg=/lуZBJJO܇+KSdb{wz [sSls2@-9r}dD /] Uce~= &Uz7T犅xVHUԑ2V_{^p7`7&S}hwP>?FǧF@<_XC65١Hd-2Dx