SQLite format 3@ . BBh77otableisabelle_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 V7 t ]% HOL-Quotient_Examples:threads=6elapsed=27.636cpu=42.092gc=2.416factor=1.527zXZִF! ~]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%ԱCI,^,&TGbL2\EY7yjhbˆA?xh},snP9"OS%8uO/.[Ͽ-_4ef7!PcdK6u~U̎|V6 2zGRLiVRd,cJOWqk4GL\HT\deP ͔Zs4`K=y/SLÝ[)|nfbؔU"T&D.5/ nB///gj,Vbw5 RiJU }R{ʮVPo՗QtXg/?) +#޶;SsZ\'Nώi<98, V(FLe]; =YoV8D40"vVbeJ력_191D#r{"7V-cE, U?Gwt1Gx7l6 bǝPgfaQuS|USޅ'0mZ%xWjNbf{gYZ7zXZִF! y]ŗXi%6_UE"=SPypM*ћU'Уh'Ee ᜣk># Cա4r֋nKgTׁѴ=nMUT0!Bl'"նU=>_BIQg(߁>?~K>'竿^Y. =.5&K9mÑ1wgPUCӨؖwt% ^:3.`l,͖7e5fX#]dC%s{ ~|u]7kNjJF)cB B H#zDTyF'Y@Qw9_Hv'aЮ ڡv8Ml{ݹe=];s|0z&Afv3 x5#¬]WoIW,oT"SB=i :ZI1܉\yqcy5-xl'kqNuGÙH6H\~#yLJڋVηKHPN!*<;WZX.Gsp?Ɖ 9iOڶDg wT}{wdoʞ2u~S r- .lۚTփ1SY,\v}9g`d5T!qAk5Y:AnKvىW[3Yo}ǂNpʦ{?qisn0M<x?xPY b'q֨'wiR{or!2Czxa2^ƨ| RxWFSȏ+Ӌ5f H+ t B"ЦAvinJ9o>N;Tm-j3B@@ Ak:D&$,NTTFc $2uWvj(1Tr=)Dޙ;isa9pA_z^qss|ɐ0+ >qJ~*n:ZXl-@~Ž{_=CI7hApy]=_kg #ԅk}L