SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 >/ d ]% Pratt_Certificate:threads=4elapsed=10.925cpu=35.580gc=0.596factor=3.267zXZִF! ]ŗXf[& Z*R =dACAYS)fq?P4o3 X ^%ًex$s޹W. W88([Y7PQq5l. KxuV5p_hfQeA9)ҡy1J[0Ln|POG15j3" .V64ca-0}5OYij7(C8\\F6Z]^α0trTS'<'A8WgṂS6kX[x+XD#n7]GV]sF>3%8<$);rآDͮ !2h-hR8pJ;{V>ڛs| fQ2|<]Y]PL@oٻVmMlgh!FgYZ7zXZִF! {]ŗXiɟIPDOB`7"=k@0]8g ;CœpC7΍z$XrRVqn4,t7}qkE6zzQR> F zFgYZ7zXZִF! P]ŗXi%L / V;j{CH" 57擹zFR.8vjMI ɷ`SZ_cubve r33STKh>ywL@__]^z(N,+a jxF{`e)ʚ>==3xcS~0Oε, ^x9:nYY6H߽7zt5A4$*82kШBlg4xe_fVF6_IVS?>뺃ے͕լْ1ӏz!qx>\3Rv T`tMzRYݎ3u dFʇMN_IqՉ=ԹN:{q^ߍMhMO:z C|쬀E]IF`P*(E|<*,)"ܨEm74AvǓ:L*গpS Lph+þKrp(>.A@Kh鏙.TYA3@ K+yĨb/x,hJ /mai!`҈|F׮z4y~(1I\:Zq2EJ" nm`9M >kMهXY^ݏYښ蝊 .HPɉ2gjOh%lQ@pcg9MU>>RpJiTAޣϣ2Q9Z96 >S;3Js3ŐRj="46`f*u1slp*ƷG_VD go{\3#mvXVC_ytwg;Ђ $ Q.ܣٝلNb p H  7gW6ójSS?S{+pE(Fe$'g9n}h9ȈX1+v\.w{]Lh gK :6X¦K$4 -Nt^p