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 ?' TD ] HOL-Cardinals:threads=6elapsed=6.293cpu=33.548gc=1.216factor=5.337zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIyO '1dFgi\eVbƉm߲Flsjf6<,7$FsWhf uqMƍ U-tV*?^ l<_%00kA~%8+eO963רּyl7Qx^q0EA(!7LY0O,@gmZrSiq|qƆ3+I7`>0Omr+Ex Nx5lh,-/]<.ѩtMt5{Ki`$$ FK})$z gB pz!a(% SA |  OOctĹ3jn yzZ3_c@2ޑ⯌`ђ!ѓ\q1:>dmsKw >:ڴ *#pLJ]9Qڳ2(;Y;yxTwN%fyB#Ǖ|2:v* n5:kwJ%8P+ y\u SW?RM_gD,pa #'pa). I]VOaT4TmLW'vFgYZ7zXZִF! []ŗXi%94-U;Rk .N9D dq6GnkTCHӯ2Q\Xl"vP(}$ 1qGE_ 0H\nw6sIagG=%/Ґ16DMDž]Jpoo{f/2Z0 B42BRhcv[۟npq /nY"PĮw0~MIO_ Q| =#"3;a!E5cb*u`8nLTΌ~)AqbJkxDnx"}d_ FZ¶A R˄ۗ:\ѯ,p`g<]MA*?Io.Sp2 $cF#x硘.lH<[}Jd?TH{¸J4pPأ16x~ir<\qXC/y}k@ym)ۻ8- ]WXBzۼB{)%/T%+;5ԝd+vf(꭮HsNO Iy(A !3: k m <~!(=fwa{zvDjX9=m]G|9)8(vDjn-9P3.<#Γ,J[Cc! D$mDB67e2NRm5VF֡R\Vftr[":CD3υ9 u-h_V'Σ2'?5{~ݗ4y o@i=sDC6~?‰=Yo(PgYZdaa756b2d8676f256c8a345dad04d50273052f035a65cfc9184ac5fcff440c336649c488e962f666 d0455d08675ebeb715f124bb5eabb8abf79678b3 b38612879e92db38622e0825e4316cdaa535a44d ' HOL-Cardinals