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  |\ %/ Lazy_Case:threads=2elapsed=3.084cpu=4.724gc=0.216factor=1.537zXZִF! J]ŗXf1-/6vRZǿWv^/QfQKJq$4ih}87+z%ܟ1]z9)Eq=U@}fВE+JPӸq}R@Mji1~ndwE26 $0*1!/Ep*'eLla]{/RX)W!IJD-ҽ68-%2R閊?W"@\zGq4K T $EgYZ7zXZִF! 4']ŗXi%?CY_DdJHoڧyYnwCEϒd@>VUB`vG$Όkcb Q%w߾]PtY9hRt[}VSHň눗y.%Dh.b&8h;.I} r/:k AITԃ g3fMۯzD V: ZkYPf>}"?~z/IQHAHdu$ P6z[et5cج+_⾴ƊHzs'T9K*t[ac3u;NNBkC @J@/9Dمcv5Lxt6ޣa"Q<&6N>I >F)>9ygus'9m(>Q+Һҳh¸xV ٺ ^ *!*l [qaT\LkO9^"nDfFd\!x/N}A,I6lL".EֹgYZ11ea2782bc950d7ea2aafaeb566e961d5d2cd88c c507e687bc16f65edb2064cef47dcba98c2c2153 c7805014580767ba9e7216f84528e3b788cff5c6 e4428cd42871958b9af5ddd91e9e9df7c53360db fab40782eddfbceed9e0b89abb6b1cdc8b902017db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259   Lazy_Case