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 ~' $$4 ]% Tree-Automata:threads=2elapsed=33.081cpu=58.852gc=3.016factor=1.787zXZִF! K]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXb&Ǟ?K1HNց9͛o30Zr.Dt<&G"1R+{!3G8\*%'3b!/C徐d |cqJsQ7 6%VKJ&ߴtw]@>5g gYZ7zXZִF! ੓]ŗXi%923N@7B2@jƋȸHFX= #pO;8Îgsp~Rף¾VQ=I hP9a 59t+EmI'vDZ)-aPŠs+Ms,Pt@SS, dRӯ,:}_8ڎh#m K /gB̿nwc1!`͝mU,% kLUGn(Ȉ[ާ$6}A("flU#/n#ܙvpC2z9s6L6v1B@UhB2$p8R↖nd[#q1xg_xd^ TEN׺w2v>ΥjL]zO9oT*FD @0NE\EÜx 4m3tH]q{%4l!)䷋rDYMA,Yߧ},E LTZDϨ1DM(n SJi- +lvx MD$j. UNlfo4KP[&W|lf4`jy|SDc/|;1[۹Nm`}1>r)c~à2g)SB=:s]])9o{>'L,?oFeŢ?k=To$YP52RŔPAqEQ0o>X1f$Ir 8Ă!n7{8Y5`St 槟8&w:aoWٵrCz#KGA,G\wY)ϰ;!9pXE?Rm)$KIvdAm1 \K' &0[B &eof]3s^K^ "Hm|#".8Eb6L} x^ Y>HP=ocx$.rC:d2}\YW8m=391$/"s<5% vV֊ @;F;3DۤpGZ t2/±u)VJC (/탪;-$PDkP#Xj릧/lPx2+טsjjr@ͯ91.giv@)~&!' @qFTygk\cՔՅ#d*U4 udjų,~;H`+p[&bC_ L8 \uN:bh&qim) p&,v#ϵnՑk~ڹcJ)~~;cPbFmҪX&3nb2{; 5}Y;D'Exe%ZR^kE_6Aeγ+K!Ϩ{O,s:͠yBCu)gYZc0b8e05bddac776005afda2f28dd896b78bb101afa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 73cfe451748312014ea39ff9fd184a7404380ac0 51d755c63a6b4ade021591e20dc09125ccd1d37d f49992a83861e5686ec532905b8e1da8109b38e9 ' Tree-Automata