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  P P%9T| ]w Koenigsberg_Friendship:threads=2elapsed=62.025cpu=109.716gc=4.408factor=1.777zXZִF! 1]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/f0zD/I4\Wٌ NlJ9hIYV6RԷ_u3'#mRi҄a! u[f:R{0ă~^As=_ H22z9?S ʧlm)0z2|z*&WxQҗ>D Mfȑ/UMFƞXi;*kϪ?'&@n?CJ e)xEl^xIef 1).U8g7e)sYI0ɜAy4 ϰA:7 SkKxV/$I73G4$)4>9ۺ]NVI<Ö/ŁNUJHIƛG{'S.#P_!szTdqXKr[@ֽ(oUEɼek9ZŨh>IdNT%`[ sȜ3yŠfe-[%1\*\:i"0f7V5 4Np/'GzhynHm}Yd߈.٣fvAJ>MoCh-$D%Xـ;o]&LqF4KQ9o˦P$ {שCP wWo`p!S'xW4jE+ MR+=KmYm5-VWIڕ܊]u?@\<\4`WLׄ-I<OG9_-EL p88U)4Ia $o29xK`T [}ΖtGcDĬ0FRSԩvL_)L:$H62yMi7i,u3*":>4@ˡdaϓ[\'(m".7q -6OV'AZOhMա-C䰅8h!ȐCd"h}' .fHEw<ۄAwCݗ?3Q`}=jYEiP -0>|12A_xh4$Jևg/pU=19Nu}1:!h.6Hxh5t+h.}XwTq^ S "R@ Yѿ%^y)D :!=ihah5*|a r7fEbqۉSw+ )-{ʃch\ς/<I}W.iD\ɐ-2[r|=nAi"E:kX=UjnH缃҅zV _;S]""ơ"Q# ^䂖O93+/h6IjP&z0j#H](-0k:Z,\<,F,1.Ҟ󬪡K6#Brad? %83Vmyfvn5E,?^_ۆW]}aАAaO2 Պm勨r(OU)2⾩RW)/yOl& ̕O-5]K8ڂ6C61D!Ίu8\Q4 4j/gYZ201d1ab6e3cf537c2619c580206584e6ffd175a0e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de a4a582c77f5914bce478dc96077ac6f4236b038f d9854fd11ed52e432fad351407d3d0616cb57541