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 F7  l ]% HOL-Quotient_Examples:threads=6elapsed=33.310cpu=47.848gc=2.828factor=1.447zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%QTtonL۷9}jՖ:s&׋I*Pʔy\Qzx1]Ts-ϦAdN_޹Pt3M%k??772X7IZV#F(aFRݞi_ =t~Fs^K%v^.YA=[7'l32JS%,^ F*x7\86n YN eU<o6Vdq5is ٰ zeu paNj]G?2 >q2`Ur"!8Ziÿ9NR !:AHb]E08sYenb;LksbK*5g[nd=J;0a;TR.$~ P]@yv1.yg& S v'ElY5%TKPa}CjW1[^A+6pZtkKs|hXkRK4qkԘ,?>> X?GAIEv^?KR֞*c!gjŰvٛ)]%&V#G $'/p9o 5r2ڃi3[XU w0~ք;?1pogYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XZ*Ktu/(K/;L&/e%S]n }@ 'Ajs,OI] )SIE, d|#݂& Q"2*$#_6k&`LjFOzy{a,` +x}O@K[[jrѻM'cR 9]AM7@lCsL>3[F\'[&Zq5rXoe^ʾ໴ t OE+a!GP2 &EI=P}ZIY{<3 N[fKw԰3FW39@-T7ꧽݖl1Ϡ0ʧLP0 'j izW3CKB%d`x\8lǟ#rO~1ȫ| u_(y$}[20(=lB3=3LE[#*^t KӦl\V5 5_2qk%CH'1ke-2!l4+prO<6^M/xxB-gYsylr'fU8S@M(*5TxrDžP|fݨrCzd]LZ?Ns4.㡂.%m}hs;չbqYB0m[ -C?&e#wwe \$ H>}g-j^VN]Ob>F0Qn*ͅ]kF=[XGٽk9 SܹyW;"cA]Pξ+{.|LSjƉ3}xkQ?GK>Ж=xi< ۸2~1|_0n6~LD[1/##կ+kT䕓IGk'Psu-8]0JP_J"3BD9vyEjzJ"Yz!T4U%m #4bL,bB2t)/.f%4X@~jy)>q p 3s.(6Tlٜ$uu@8;6ӳCL6M3<# /()/H2)4[h3]R/YR%v0m}SG(gB rE9N+G%%XߥtT`Wh.Y[/{g\5~!!TJ(ZW$kgY*Ê= Ò55V6b_M CE57|uGM#AsZLaNP[(CEV~1a1\.k?e:DMl_XlevD˲igΣeИ'%?wZ9y z*7a?W큖ChqY nV #JV5j͊\;לK3ٝd54P!^x8dU\o1<5hQA 6E{́Yaઅ_@8n=om ʱgYZdd990e8aa06a226cfc7eaebe5882a5edda15874be2fef00599d8b719ae96960a40fed04fe4f0ef33 115924f575558f617ba2ed10dc40ce0bc3b10ac7 b651b0b1d1b1049b7a532c10fb5a1371c687485c eaacd3fc8bccf365f96efd5fb40477c37b8a3db6 5526383a2d4922a3ef388b485152d65d5049fc28 7 HOL-Quotient_Examples