SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  ' dT ] HOL-Cardinals:threads=6elapsed=6.631cpu=34.820gc=1.160factor=5.257zXZִF! )]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v RNP)ImcCxF;",Th ]hlh. Cݐ%֋*.b9VI[\??*Wɾӎ_1(`*.H"[hZY۽3(O 6p"6/ b6E"Q2s~:6Ҕ 8Yt9Ah!iu7(LftՖJ#k??J7%vPUzC" vuޕ`݊ž#ۻձgYZ7zXZִF! !c]ŗXi%6ņ*FKP(Ʒ6Algt1 x.U ]+-)U^RMy7WFF}$$71 "hӢ , >ΤJB8avp~SnqtyˆyHv_YO] P?Q+ȫp vDhe,sXnq|#P͒;9F80Rب=/"# #zt"!-rOȒuc" !0VU l *ZOV^T'v1P'^%=,ZIY(<s6CrB3 Ӷ,;Ϲ6\ƺEhJv c=B|͈[bɚ#)w]o}&;7Uܐ_8#Vzv p^L-tf`ȅ c' /:9J2](k oщKQ 7Fn3 ƹ ͫgKo 0 ?AJq<6jiɚuQPefDн6,v6ߴ+--=3@83R&5.08?.FyOuUg e| ԙ<ǀBj~e䧓6_|XE ^gr N/VA%uaHBq";l'ۓf+ #xH9LV:aߘ,ǎkrO8jK[6CY܃SAn9AnO~}ɞn3\ګW9_%hlkV QBU:tgYZbf2c4c052bdcb81ec72ae5dacfa3adc9c810cc4e53f1d67548a50d94a90baccfd7c8ce511a3e1b4a f6118ffad2997e518d2c1b8be12985c8c95a4176 2a8703cad3af920728df8d76be477f3244bc91ca ' HOL-Cardinals