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 4| ]% HOL-Quotient_Examples:threads=2elapsed=39.386cpu=43.708gc=2.708factor=1.117zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxӝgw l[nc2.n(D[W5Z}D:VOЦWOrzu*ԗdM=z)^O (XhG´Wv(e6j=x7qީ5vҬ]W##VRpB=pX5fjeJR%93ꚯ`[7<5C_>\M e.OD$:oߐ;4:Cm,q& 5 QD{$CVlM φ`նY#L=E5Zd> ]Y1C_,\B7iVA@* ~nXa b9td5ٺ˜<[/&" a; [frze[Ҫ(Gnp9%JPESB)㓊.pѸ6߁>T3O_t@ٶ@1i`i:ߚ; cyl]RXƎjAI1GQZ:_d-B oBd$Q_4,p#sI'`'̔MY hx*s-ogYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP +Zx 䋠HH*4Ӷ]1c>{L% )[OMK;8LmIn>V/\pO ͅ7ĤȊə0k>ӓK+*:<} L0$J/UJ=:SaS{ͤ.3(mnO%%Zx 9<яWvm(ӊ#4{AVgYZ7zXZִF! ]ŗXi%;3x4îLl;}y(b,{Y/ ɘ$#mMb#zVu%{fۑ-4:DV'?iEXƋe,S_cF;6Ŏ~:ŗK8!6Cº]m>Q[yg] vU8"[3>}艔q_I-wg9F"r>Dl5df gw|їӢ.ƒ㵶KIAG|Rr@k/ f` ukvno[u1`:6l'^P§3V2oZ;Ky eKC(ZM5A`*պsXHL2O9!<& ϨAvFSU7ncx_ά- L4F]ʮc@ۖ_KX!ўr׀父rᶻo_? Vh#ݞk9*`o:2qʨ ͔.{ 62)빑 ɮ{DiNz6 CrKEaz+؛˛,|尽1^Cu[$H&Ze@0ϒg?.q䵚 SE'(wl#,*qiX7&淑9 ǼQ&ګ^f=ގOfb&km>2!)f5UNZPxYA9Y/?),u' $9]Woˑr~ LG@=uv`v/-[:~u%hC8"j`Ú4Ah7q:FhmrAζqc#bjYY TGRRqJhU3QϝdK 򦭜En\z7ߥEiB ] \˜=uIwdxf_,LcߥD}JV(E|/k{:0d]@x CsN_ls1@E z=ղdv LuF|'y V|\75N:>V Mf&F =RFˏBELS}3 H ,V)$3Yup]eM(z+fCl\⤎e3+=| a` ?m]l 4{ SEA\amf* Z{VgYZb6b87ef0e9033257fa2f97cd33c5f0ca5fba4fb061532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 8f4ec66b19b03b756b2e7c2505a372d748ca1c2d 446e4c138e9489bdd96d64fd4977bf8916f20eb1 be94f8cc89fc31c30ca60b16c845c92a9da60bd4 7 HOL-Quotient_Examples