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 %#dl| ]S]HOL-Algebra:threads=6elapsed=32.659cpu=148.100gc=10.552factor=4.537zXZִF! Qj]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!f^9F\sa>S`B axJӾ,Թ+Woҙꂉo6pmʽ?H~uCJWa*a5.HCŌOмҞ*óјI?AYt5g^oT5IB,q".SYf\柒(fU#UtIX 5 YXwІ6ynM׫tJWF7" O*hh @Kً9&2%&ޫQjܿ7Ǣc"4zyD/>`nP)Ʌv+ƱUQAV`[Gl$gg捊Hn?}Sv zwOjb e $ %L6`*!T{PQKUʴ 1?regW+n EGi‹I!;s/.Pl)m 1+1 frl\/;̸ n^[ímŵm/p_osZN5MQjV Bۏ[fu G#UqY>E}$+O&ajb7 #na ja󌋘EU@`1NcP/mjsV&C+31CdV"TwKfnT}Pw>#O(GpLtѼR3R\g֋KpnN$+o/Ry]N)؛kpa:RU`=LX=T#(S6tPMs젍z#J~ 3uX᝷ hpO{M@]W]>[7b%M hX-YEL8Z3@..,xpUYZ 3!^f)0)C?`i5Mi6d]g穌=wT "5¼QGC ۛtv] Iќm`ݾ"!:lkdRmkC?eU'SqZ)H C``kD^g%[7Q,|+5\cEg3;xD?k$ {Md O⽈Z0hh/vJ%AH  # HOL-Algebra/<_qM$@L)eJr VO$$~BC6Jn.Lal!?k2`]!:>%Bił{֦V7 Cr)vB^+d cMlP\Ӊ?x]zڎ~U0joDrXѥ0 y!_jmU?tĨ |9j @ϨT0R*P3 !Gq2 UXر`7Sh4 jOu.t yim [5k I" {~T{ou(:1呸Q8D]191uJp8՚rz gYZ7zXZִF! L ]ŗXi%;,2r- An_wRߤl̰?( 8{|}V49IM\drerӕƱԬ"POE%y=ܒXQ޸)9Z-T+)T0RެCNAa,kq^"XAVU]\sS?DP2@atRWoqp<4JH8kSvQP9-ǤL0]%tqV$p1]WY3'jz pwXw;v1rlUIl9.NX7n bp>E `(հDNj qA6ESsAnM z~%c`cM Я_Z7?nl ␟RO4ۘNo:T&q؊9̷QROzj#{:.<q8ٸxHz~~S]:ؗ8[c]BjJD3xRfKP| o ^5 ?SU<ăZxɕ&Hb,݇ҕӭț;ݧ)B1)""^Xt ~s&F:j9x=#@=!*: AGIvus]F1R ^ E^7Mү=9@Rc1$"NSyǘ;JzXAIC֕ LFǠZw[Y#?2\SW"^\A\)Q vwC}f8Dk{_gh)Mp[(ؖL$2Au&= Ze:W"߅-Dޅ+=^+cP/ #F10FYLezVbՓYpC!.6`"7ƭO{zs Q xhDr?+o.,*o>dc&kYEA+ ?:Wf L<2_/ sV5th(O%nuJW?l{<5xj˟]bS3yѷ{]ǩjjӨHL`nTgO4@Q.Mˑ ݃93D''LCqN/wC ^'1_B eYrC}/#5Υ>X-z b):@'ۭ$9ʍP-^ydq Y幥-B ki" T[>CL=߲Ǔ+`=xL 1C1d-K31^ܬX!φJp1%`g (Ϩq"P~~VXG~ௗg()V@(`熰(t#mVC#~ m&\* ʴNOC8|[sf#C-@N\rIvayrhp1Z;$~p(.co].6cHH ]i_[E<-4>읛T. "v[4`XU#JyldBLdFN2֬z:s*Ķ9"T@ώVW<$W 9g4m)ݲ!?\Y^Ub34w:J-- K\ܸϥwQdOsX@!phK3=.RN=^(bđKV2]LH<r?~-#^[i0f L!B0PՇRԎt˭ o3͹35):P2C!AtQ1b_ Z]V曷IJH}MXW뾡&f&‘,\L&Rյ.uѕA`@B.T:ͦG_gYZb1c60e24e8aff4fca973e9dcc4d76ce1b57be110ba9703b8d89941ffe014c15e6ddc671ed32d9999 100b23f10739ac1b172eccb60c813bc22e9bd494 5db1b95e54d8648ee14dbbb91802b741cedc9545 923ddd484db72a868dc8f43dc408c2001134ab908edf74013b6c9dde18f8cdcf620a386b519f0783