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  C?$D S/ Lifting_Definition_Option:threads=2elapsed=2.672cpu=3.248gc=0.000factor=1.227zXZִF! K]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%(POM ޭ=Y2ty| >~XvzdF4%ajQRY{F-OIG 38#'gKomQU(T H3@0h)Z|$! .XrenG,MS@x%c fbŁgEG؅+iDIz9jr* *VJY~Ii\tKԨw˙g~F/vw mRڗ=ZOT@gC XD-αgYZ7zXZִF! ]ŗXi%?CY8?N8Iע)h "!GixS(=Ơ9'^tYV5C<7NsSF5;cGW`(NFRFbEmK+6Bb,URWQr&_ՋkvİL݅dx wO4uPܚ:iR$bOjhn4nmH94$)/Ө [_-vc`IR%ʸ9%=7rpjS,;.y3j/rJO:RsɀcL^x MLo *Y)Z9{9$p[a@7Su}9W)g- "`<nŶ+w7*G_yAG5zѻHQF)_tx@pرzfh82iΣCTgRƋcdѰlqܾhϒtҮN>Pb bf9g Ѕ؛LO1<~-ΓgYZ635498f98c69487f013703ffdb9caedc0fdb832a 7fe7d57e3e198edd83a2d382ef65f4104752bd8b 8818f259d173d4e233934b3274c267c7f059cf3d b0e51eab0c8d3dbf8b27d2a9502223abea2ab39ddb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 ? Lifting_Definition_Option