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 J dlt ] ZF-UNITY:threads=6elapsed=5.178cpu=25.704gc=0.856factor=4.967zXZִF! )]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3T/&JnӨHcZAτSgDF2; fc<"B} :BgŜUF[SIj{v.x2ֿXfH#Z[`J=bڇjq4\u29WgĀ{tIӄ1A\Z I|^ܴYY]qNM5Msܺ.!iܕHJg5"zzv@HΗ7, ?5jmu89EC5SHba3WHάEjfpgqËVJ6K+o =#Ox&+NUPSaLv}ƍ=K[EIE4Ջ3T<?]Ksw_ܠqKݸa8GᄡvPGgf1 PTCT*'2jaocmA~V]sO~[gYZ7zXZִF! hm]ŗXiɟ9 i:4V;}A<<ګMP7J%n=~$VŒ[@N+43LGsĺݔdWMECrҕ)qsFTzz%J›ItW(Fd1MƱyE]6*K*Ha"`K?A|5,tGz-c.C±m3*^p Cy mcg:*UbC&]QaLOӣ.ěCuҮy`TӵaC2JJ^`8Tg儐7:ɞX\LM76[Q>^7(9!}D8t y`gYZ7zXZִF! ]ŗXi%;LnUOu (PM|w 4N4vՠHt\g@fX2Ը!Pa #$jNABMړ+ Ѡ\V`Pt1NDPbLG(^*[F۲ c-jBԝyIxR‡O˲/hRUU`s*0ݕldz Oo;*Xpy m傱O$V b%s?*㛮% e*|!@Z RZ`5H ~HZNIJɓ r &-mp.8KeiP WiPf> aiFVGQd>4C;gYZ614c01df97242ad71ecfe14c9ca9c936bd2ee677c36d8f85a99ddc5a1f0d4a78ada7dd9bcbc5bdff 2fd801175e1ec8af21e2743e464ce201268c2e08 5fbad2009c90ff56439d7b0fcd00873c804ed6c5   ZF-UNITY