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 R |, ]]]ZF:threads=6elapsed=12.684cpu=38.500gc=2.056factor=3.047zXZִF! X]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(1,'BŊhw&!/D'U3-8[F7&<:{tku[Փ2QCT밨^q~)0"; 4d(}pb5vQڜYY _l*9WZ&b}(^=bk@ibeLYҙ$A>pmbGu4H ~ϴxM4'ͺ9M<'} O}gonkr.WdF:}]܅s( Ɲ2vyP>s[Qh lσ { u0S2w#y^cSFV4l}o/tM.H }´EgYZ7zXZִF! 8]ŗXiɟ 1FE`穹6~+յ_%M\.,تMtt?ы2ȩj侊|OlMrԦ{%FA~#F[<`)%I 7i83W198o<XզiVؕȶ[@_85-`"sւ^%'J%XNT<}J(H\1:l}Hr<QUVõ)|l%BpNR)1 %@הڂ?ܻUhXhL C\L,Ix0iO$P`i 7ib#K~7ZJx}j-Wl.jq&zn<><mOJfO.+0&b۱Rdtы6ɎQ$\&S %\zV-L ZHYT2%WI,eH`L#%]s ^'t3j_n/>~FشB3Cio~L:gBps7lUrݎv8F]8 zFqqBn r (cJzW6&KaU܊z֖79(<[gÖh mb!$p(]ܢЏ̙H2M(Wo(ݞًFnjN/nZwsRP(fwR3Ae%fh1:+ 156 u)_`We#q\h Q?wr+&beۋ`뉳ue){n-<_T%l;^3?_@S!`=(_ W0I1QS\OaDTٿؐ8Ija8c)^Uf jr{$8;۾gAg;ߔ7PȬp7reJ]&/g%!<1_DcOqkɎ&J{ިvV r=#(1Q/CT94xDYo?r%Qn9*9pLC~UI(Qa´k}Te%Tta؟\DژwS2c}K'tђ'"DrG}"N 'kRPUr]xB/ #~rr-_B-Wd[^(X ^tȰĴJ4mMKPu~w^JjO.XDx>^BG] |9ٜN]m$ 8E0z<3-V,L-G 4_sm?pm>jKJ1\ҌE^-w(%Hz z]gYZf4ab3e7a0733562e0f0d66a94f6a9c6cf77abd27ac799521742c6a511fc6b752309e53d5f94927602686d932027f19a8de931985289fd2c8d3cf4a5d  ZF