SQLite format 3 @ .;
B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
D D ]/
Menger:threads=4elapsed=6.229cpu=21.852gc=0.708factor=3.517zXZ ִF ! 2] ŗXf[&LRH=>퇜=g
nXAtrڪ.R8H]xHuJ+s,Cu&M82
>
ǟWKRC6Fy7w:ڍQ˾b
q-Yu0)7Kۻ$7sNJ$Q=Z_S gܫ 9g YZ7zXZ ִF ! 3 ] ŗXiɟ{A]R90⿈Vm H7qz&Un+")cTIT(ig X ۼ`&'GFuo#_ 4ٜ '!( !0$Q-Rsct07˿ǰI_ 6
e(JC#JjO d>KV|VL 9b(b g YZ7zXZ ִF ! :w] ŗXi%L
0?ծ#~Uɭa/gՊ}>+b ='bX+Ӈ `iݰ9BTK+"ujHޫlAnm_]1h05br\;ݐg
Ց]{DB:ʽJlYWs5` } A 0 nYu5zKJk'?MaQ3.(OƐaC(wEX;#u2HQ$&}0,yf">N֕zD,m.s6JuצCH̼^ ȌE
Tq7ngl:"L
E QWuvK)22}$nF.~L%*2#X }K e_BO 3cG9c;faz=GJ4;~ǫ )k7ؾe7^|{5YGs0a*> 藵 1J$\EMB Y"z =ғٟ5Z`z:ۈ0 h6N&(ZbIc#X7Rd-F1!6Nr pYf ᎒ḫ ҃/fd䐩5>$1SHtc~ѿeDˌ&e5f# *DQu V㴰Hn voD,?^# oSKb$K~_lo, ]; 32+yyuy(V3X˟B싷X%T<"JN ߳e hv·86ڂ- @UkYv[g;NΝ7qeǔHzKM@ @XW*,FZο8ΆAF
~ x` fby~dKĊJ$Д鋭k훂4j2 kެCb` *vT>!4ܐ9uo':m
꣄ʢV6^( 1%L_P^}Qڻs%Etű$w >|cNz@eX؏)"*LJbH(]:BrOgOx77lR-m$ fPo ]\pL^d/S^h~
V~qLВ ?= e =od
t p(g YZb1c88fb1dec4dabd107df7356c3c990ac809dcebd3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
Menger