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 b7 lD ]% HOL-Quotient_Examples:threads=6elapsed=33.106cpu=47.660gc=2.808factor=1.447zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%14?:obVKxّÎ,a UR?{w!oM''µZTkLqܔz<6"vV 2P픶%RBvQostECծYtijquoݺ9ԕu`4`tR`9(x0ĂR)O`PCuYd`=9 '(.TrF9FS֌Є-;YY06%:nQ';~ 0mPdj3(ݵ9ȾS&)8Y1:/9@76au)De9WlFJ.@c% E;9fhh1NǙ54̰h`|D&ʎwqt%Ȟ8E+2,7GSr1 ֱgYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP S[>N3wjhU܀%f"E 5b+]jҭBޭ~ R#z nQRn뛲Dt;g}EÐRC8u܋]@4hmT">؟+W;jUCYR tYtݲ( Ht7԰,dueLpQ.:r//<>gYZ7zXZִF! ]ŗXi%;n̔'I?449Çۏ#߱(L ^}0v2a߼< %E>7Ra-D^͢boCh#A|߅#خJnQ:0kdJ $n/E5rR..}EvpZayO#bj!j(.tRZ >CH]bPJ{PRl. cdx^0^o~oIiz AESz9==p Sx7$BSj.Gщŏ+QOV If-d>O1JLD\,߸e Z9\죐Z?8tň7tL[K{J%Mau&<*P:B`aL/h_4Du'p̺f }/23sXKBT!GwTDP/} T~m7߲~iE$*va40dxn"m. 敗MFLG%M ]sr<$٭# yCg>|nKYaU;3rNLvڄ%N;c;=(UiG)3*5 Zf.\QI^т1@kمTk)lUNc1=Qh` 6MU*;c8!r+Lf3p|hfZ^9URZőS1"1prM[0{VN]D$\GK}PoxAb$$UT*n/3Dwi0ą-"N눕u zj.ʧ1ceͨ@8wV*JlzSD>O/\pώcXb':laq17_x iIT)ԚhU~MWƹN@p e;gYZb9e1e97e6e2b066bc87c0fbbd17365efef88c9fb8b0dcf9acd2129acf08a9af17112933d7b840fa4 526dc7c549bdebbc88872b36d0ab533286ebcc3a 1af847f1b191f75e66619cd5c503f4d4a206eaf9 9b42358f30983bfcb31c68ff101cbf7f74794bdc 911e1c0c619165524760dfcae1429ce8efeedecd 7 HOL-Quotient_Examples