SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 `% L< ]S Posix-Lexing:threads=2elapsed=15.979cpu=28.916gc=1.540factor=1.817zXZִF! @]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1ƼZn&e\FKA=C:ts~^,kC89ǙI׉W: JI$8u*]o!hdi41Jy) qւq'̘KϘܪh },J8"d'6i"QagUW- DIeqĒC~RD.^={IdS}Kтjt|I6!~^Z M&Nڽ &֐²/Eq 0bgYZ7zXZִF! _]ŗXiɟˏ6t-utD>ь@z?HS(/mRm޴85̔ ~_=E&p2+8}Ҕ[^8v{ JDgYZ7zXZִF! [vX]ŗXi%;CNP4q-ᦧ WgeFxGӔyl`>)Dy=̕3,ozpJUV;T!I#yq-g~ 3 "HG˞0([Ri <#naUx@ eˀpf B0I΍Ri!8N}Vs?`S\9^Fz"Ջ-}L(*[nF$sq9'Zf1bF*/S>t=xZ܆RDO:{Wӽ#Y@"wNF"-=ȾNDr)=Q5^  Io>6ދꕆ?eEjXq|Vr燔ui)gnVyDfB]o} H Nq0&kf#{K\m"_~ӿϊiVSŁu)u'c 3d ol9.|ڦ)(#*QhK5N2.kJPv&k `3mvQaQ7ߓ_KS"6+ :IuJ !S3Z48]ڊ=Pߠ ԻZhz[MBTЊ_-&X?*NUeG_As|Nz9v\mPLwyyPbHBZ`¬B%>8͍AOJTͮHr~&]e,,.]ˌxqJT|w!WjhEc%YЧ?IFvOƓ YDUZ1sfeoae" j^DsZ& ;^ ~Z=Otg+s{靚?SoFI1:)=NbޕK t7&^@HG+ )4BƍG0duӈ_̮'LJC,x: