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 ' <$T ] Stream-Fusion:threads=2elapsed=9.553cpu=12.140gc=0.456factor=1.277zXZִF!  ]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)/.[Lw~r6x?Hҕ8z*>kV3Yd%u>Ub{~\uSDq:J<>-7Z9Rj|^p2p(PcRJOضXc9!YEb ӇuMwdӘ-y/եnϬ'(va,clyYЮMSQ!mkE =Ʉ+X**-l1Ʌ'5x6f'O[ !"WIh89Tlw=p]Q[rD#:j!r45qGW"5(@Ueî`o&wg[ =]Sg~+2t_cd7kN{` Z=چ =V|0&84v`SllWgbΦipCC>V[U&ιdVk 2PqM/,AzjiiliBQdh@0C`)XVBN_FOi+dsuo  kT24Y="؅T)iaBxRֿ[Tl(8)=lܩO+[L 5OZGC{UJawtc;|,X 㪼Đ(g^;%S%#5GЫ{A'S;me&"{l@wP#YȔ@\K҃`$ lB_c 0+ nCsU$#Q¸m^û8.WE3AY$pz|ws왿oppATDmTN9b?Z- 6,4u#ΫpI]C2s_˦/%yOWiOK%<$׺VIe#"Ɛs62![J{:#/eZPkƯL#o£pIf-NF[hyykgYZ59f31c2ce833644aa7fd61fedf93c94110c9203c325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 7400a7c7b1bf4332872dad9f48e36953481651f8 ' Stream-Fusion