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 b7 $| ]% HOL-Quotient_Examples:threads=6elapsed=27.207cpu=40.856gc=2.484factor=1.507zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%+ D)Gm2`Q^ySz?)ZmeO,V @L?zD/x 0!S'3[tn9L5 7#\+H ܘ5&d:bd3rFr}s gm7Iɵ3Wb+g*i$So; Ud%DD zDaſHC~` b4c<4ӛ渚 zdeuZ>I8p`ZF3~,?RB@\M`$f\ϥμ-`πW}Wɜ}5`T0@&<\"[zf|LMskةx&1 3pjk-7H0~R^BitWR}$/!$fd|oGA~1&i؋\zֶypZ'"٦f,:}NQ,>y}erFȆ.Z2>1G 4*K u`%gPU֗Y,Ƕ}cr{-1pgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X͊6 'ZCSE0 2Q+zb۟oI7IUQ2'^_'3"IRy0[V6gAL7Ѫn14 K*ӀGqz]CR;bH{нci,8/< V=y9LHM 2tI_nY7gYZ7zXZִF! ]ŗXi%90ŚXn49Gܩuv8^Zl`qR3Zb)y])9~u'BG\{+5>fE!>n$S9c'HsR{ \5{orz0ZuzQ }5QV?߾Bx} 2XFoI}vw^5TR"'k@{eMm{ Rk^wGl#2RJ/Bv?\W[S+1+Usih՗zbuQC% l_{씂*$e)?E?/ϛ.cjiX `ADbJ&y}I^5݆=;910*KXoh2-9;Q5t,_B@u[)@H-")pRQP{lˇqͧϽ5juv*esg8SyR|)gNw.ABŴڀX?I2YK<T9Av- lk0ė$RUv3Y*ھTJ)I`а M pw-qEiwp9 k"Z݄;NqL Sy5Gj-_]( s#9X7|kTJ}8MPlǴNe66@]~9T\cH)>BxMB^ +(ς`]7U^NXIS葤ګK'֤wN槑j|K ;Bۗfɴ|RQC 7OF)&؉*\r f_ ۴|c|$I=ɭI" GDqyT(3AǏ*]=}Oil#wnV-Vx~F҆LN#͍+fiڢ-f0UF$ѓw,QP¦$|dYpB3-gkUE#8J16ʐ%#Xv!,FC '>K o2Dj /}` o^I1p^ANJ>V;g?tv)ϔd6BI#>ه'A2vD20+ckI%ʜ5Y',|q!A(Prա,Je]3`D-m_ztK?tA~_hi,< /.gYZ361a1c45eb91296db09cee5de15cc2917df703ed37873e0061f17d13c4a85581673448df5586ab38 676afdd0f22cd3ad42a2bd84ac613e2d29a5a368 55e1b8cf1764aaad66ef6fbbc4d3aebb0896a3b2 cc9c8b3f4729b2a8e88a48bf426b5d1771368213 8ab4f7cf029cc1243d801147ecf753b2d16c9ff2 7 HOL-Quotient_Examples