SQLite format 3@ . BBh77otableisabelle_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 ^7 T|\ ]% HOL-Quotient_Examples:threads=2elapsed=30.209cpu=37.596gc=2.836factor=1.247zXZִF! a]ŗXf1-q恈N/|p~p%++˂z.AgscA~T|rkq$r b&A-+<|FSoNMހ%ҏ62?|yކ9OߜלX0s8sEEn 7vKP9ȧ|T TV:͘dB:yOu!r*-p<׏NZq zRyq O#h#Jɻ[i'ߞA*Y{/7Bj%-/R~nj3s y+;uPSuL4cT r:l.DOnj/Ӹո3V=#7&->~sK5ꯃU*Ojnx^-ʏUۍ̮8Ԝ Rܶr?Pgpbux*G?LՆYEQkUv~Kb+Eڭ uo?؉VPKO?ϻḮhHӔSFkKzəBIVM\2^8#-)c±gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP fj;o= s3Ҙl87Əs#:,bKEYָ|.j?Y 3Ll19䑢xTmvaNq.!ΞR8[Da8Ȟ}l(Doҕ8I^c#^1-"طxD<z+(gYZ7zXZִF! f]ŗXi%;`\a-ڕ\ ]je enAHoe,#,*ro[@?d?b8=,1q9LDCCg԰IϟKk b> ]\Jr,$1ۃɚm7.؀ #L c,︶wl71iy j +V+-Mw gFϱɝ^CW?KO҅ص򿓸H)=t_#HNa4x6ս,U .FUL96SvC.8h].Oʺ8/9Hn"yPY)գx76 Mm{0 ܪ|g3,4@ݫwʨoG9G+/c_ ?$"9)|YzSVff2ܮhY5btS oV7u6\*Hx#c ǮDQlX vZ$x :l{ִlXe$}ncD@w3xb׺!E+!8׷r&ҠgJ+OyR#4] rJmD TW-@"59^S*> # ن寏orErY<0/:H@/>޼nڃʸ>X9*u>Che/ /](Np77b^e]4~H,9X(Es/zuӔ^Mj>Ybx1?M8'-^< uU{H^IJ͊Om,{S:)s}> &L:Ր 2jq`;Nη7Bu^x'8#_`f1Kq?VzhhM8 n;t ̉gYZ96625a7829f456a77e48f9f5b1ef20b396433dfd87932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa a3cd75fa2f445303fecfd31876e09edc3d66ce8b 6dad939260a2eae4be241cd748a8c1201e561910 88fba9d42d20c6cb4d30590d501be67b5b12e636 7 HOL-Quotient_Examples