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 z1 lL ]S Abstract_Soundness:threads=2elapsed=12.736cpu=21.344gc=1.076factor=1.687zXZִF! #9]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-#{2M pŰWL/RYdaАg&se^/UqNӗXՂr 3! Ò#*A%cH2>%E3T@GTk/l%#4N}:.Z O`-4u% M*pK~y#6 . '8I$Acm{Xؚbf(6 2PZWrn<8:i"/O'I%gYZ7zXZִF! m]ŗXiɟCrh(;Lg!I1b+gECv ~w2$ } c~ Y`'$T;=5YEl3}]YL<gYZ7zXZִF! H]]ŗXi%92M! OZm_ |f >a+_r,B'B. Јxqk6IV]IM .VvR9"uѴ߁wSIc.hM7Gx43N-rcbDLһa X${$k?stilhbJ|9uA]N*a{$>d}f@[ɋ Jv xDtsX;~OE4(ѩE2jKƱiHpZA 8tߌSњEtMGQ],و5 KX^5X.)Bv$6xHo&V-NEú[issȘeMUS[?tN6f\Rjp1t%$M)MYF]&-W7 ; =!}ۀo~qkP<<-ۄY} q!aڂDNBV`]JSu&Χ(3c~a ʚLP