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 n7 |L ]% HOL-Quotient_Examples:threads=6elapsed=26.904cpu=42.680gc=2.680factor=1.597zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\9Â3yI;e9>y[x~*fSEO[dܰ(œt̪4ia4#=6Q{K77BT|<V&N֎LHK2; b8 j`m-GDF( E! .] n0YoJgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X Upx7I8au?6'qn[Ԍ57Y9 =v&94sI2MpX h}> R_K;5^3t[L촦Ed1Or˪UBb; [SoANd( S˫ʪ~AQmDAAzeԋg \&X57N\>>b(BgYZ7zXZִF! ]ŗXi%>ҙ\|,?FzS~ 9gS<3a.l^|H̛Ig?á'y`k=ZnG>^$&utkrK.ipe&j#O4CcyUOFJދc}nL /h\ 09yR%n-DMa6bֱcTX "REKou e,sjSw\躷h7!hH&x|Ifc#=eVp)MKlLqZہ8eURΔRhQ Ii~u<2($y# ?<@`UxK+aF@egTJL | W+*ɴ^oh 1ao<*LLO eB6y3-Im3+ƨ dAmP j %Aw8Y%5Ma3GziEY$.g7 l -ӞY, r^+Q0Id@]#~KLݡq"#70!CIjl 69v-2\K*t jhϵpA9:@FvB ~ ] }FmNS2h 6Ӂѕa0P^tӁF6U n̔JC57%d܍O8rv<Ҟ74e zXmDFi9G)r\ӺڌkCY/wx+$odn{e`<T5,{]./ҸL-S* |#WWnEmͳ=N7z"%k"tDT)rgKY81Gױ:<f\tadhbKGlV_4ʃ] p gYZc9581951a456da2ae6e46604e6f3ed5394c85585cc6d6598ca48f4c3791a98b19dd5cf828358a33f c32e3c801900c6f94f6ade7ad7b143a3950847be 6f2a0f538ba8b7b23b9cf8347448c34abc17de02 8145fc69d3893a99c7d3677b2eee654aab33ed7e cef8137aabb2a5d9f625f6077b4d3597d487df7b 7 HOL-Quotient_Examples