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  V V'?|4 S/ Lifting_Definition_Option:threads=2elapsed=2.728cpu=3.292gc=0.000factor=1.217zXZִF! ]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%(POM ޭ=Y2ty ǑH(L>3r0 ʲr ]W :` ׆܁6ߎ,vpN?vI l#enYoB,GgYZ7zXZִF! ]ŗXi%jZZ*,ڜY*o/{a :Y?(S}߭hP4j/S,o#@>ad&uCz>q|bbfxzVs%Eo%ҁ:Fo6~aEW$,o"`(!,0rˇG$m@/pkN驚P c͒K9b*8Ӻby꽮UN5HQԊf0qVew[F46DL9SrT_HVך:\GI;e9'cDHH`k=1QyuVˣe݆5(s% D7Sc(Twl19^Lm(Iuj[11#/D'ۺC'#,>нE M_>*ޢeON ]M3%V]҇;qRx+MDIpi] YDր\a=:qaH6`GG-Z=gYZ635498f98c69487f013703ffdb9caedc0fdb832a 7fe7d57e3e198edd83a2d382ef65f4104752bd8b 8818f259d173d4e233934b3274c267c7f059cf3d b0e51eab0c8d3dbf8b27d2a9502223abea2ab39d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa ? Lifting_Definition_Option