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  < ]% HOL-Quotient_Examples:threads=6elapsed=26.462cpu=42.284gc=2.748factor=1.607zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\9Â3yI;e9>C KJ2gⒹ:\[h`f~qAbQnF{<0NɳU_)q5T*Bl^q7_=/fdY? Af"~EyvJ.oC4WT#Ө..M.tˊ! dUhED1}tBWj7bYdU鎝E٫koM>-=aY©ÛD>f/-l[ُ*H6|£E`"K6ݛIDNm.yh3D1.ǯPENbhG)eDcAv| ̏L"n\ckl[PƼZĢ&W |\ uO$2N2-2H=P^E)ηP$nD#v W`wj ˘7Ix,K [n}Nb DZy`\&SrB(G"^ &-aQHgfY@ESߏ YrTN ;hMd+_`27n)6%IwK31ԱgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X Upx+qɌ?jv 3|cӇh1.V .&D@G$⌗dMVw㶿8C$8dHV`ȑ3t7 p6_hgu~h?u ?E//_=G"-am f% ?ss!aR f"FgukYgYZ7zXZִF! ]ŗXi%>;mWOn^`/Vu-X2 )t Bo3"^-@VE_lT];2.iӂnP6N?^@CS'mRJ0%H~v[Z+>9Ei/]')X9p]٫ft#F/&"@SfRj:;ݫmg* c̙3/ȨѤ}rbuQ]Kj%r"Ǻp 2IM%G2N=uO .cY ^]lt1N ׽8 Q^t,38zbx-v%[5awƄ)tUH*0MT3¥_-M c0̃ЩY]md11(34I 3Ɲnk9e239=?8~҈U`6 Mg0-Xo>0ezC6/ >) ۣ/Aja1Z`2?/oo7q=f랗  HCwSDx2d%F*k8X++Sg=g⯠K;ij9[H [Ba1_ vze %y+[٨\9?Pi X8cTgt/ѱUzI|]R>WϜwp>~#s.$9V֢I4:^h1PƏQ3{Xswǩlw+ Nഀ!/ eD_eZ [w蠝:  #)lZR8_}6;AQD$L LͮEK@W):DSoQCy`r6' O׏hW: [+X(nhgb6jwOVb+ UgпIgkL ULܸOPLw|ltҜ|hL,/阀wr$p0Ma25 F^z8ݟ&N(q@0RD~@z- PRGa\Ka͈,^T 굃G "UWCVU0UoC&}hs,),/ dW՞IҼ9+6Lt؄k_ W+,g%5ymڨ㜬:?`zgkl;[!Ÿ> HZgYZce42c275a380b8bd9fd0ba4ce9a05305434c2f3aac8f8db169a1aed7390bac47335c1f3fb99f78e5 b6cce1e1d33c0d17d7395f24a436b50911aaac97 85ce2e6de691a703d096ef69845c8f4f6540e35c 4d84804b5f2244b10c966d63f8b812fc64a69fae a082b15ce766633c5b61dfb977f7e83c74057897 7 HOL-Quotient_Examples