SQLite format 3 @ .
B B h77otableisabelle_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
S7 |, ]w
Buchi_Complementation:threads=2elapsed=17.197cpu=32.764gc=1.312factor=1.917zXZ ִF ! ] ŗXf1-/6vRZkĿ>@^n-IG$w'H, ^#ޏޔEO-"`N
`V3&6r0mW?.: >#o]"߀F
:-Lg5vw I-%0 gHHq Þ5] _W,ß4&7i"bqD\+IYYpSyOm5xj5* J>ޓn6BNnQ^ynSQZ
ҵ?} ^C#X i>ߛƫ([{@+1?0NqwCRWCMTE +Ul ' oi=g YZ7zXZ ִF ! ] ŗXiɟ1˦r pt#M&")ohEdu : $^Ѡ_s҈; }F*
# ?ν 9n}! $s"Ďg&8@@,E.<՝-WA2Vp2JI3N=^B @9$ Mg YZ7zXZ ִF ! `vO] ŗXi%-i7.P+qrfk(\x \+.E
=vÙ
-{_e Y
8G϶C ̶1;41no%s8 [x0~vtr2bl?[TrX=_ m+_j
`7ADMWס&CX|yD#Y3$I(`|\m U TC2Hu`)i\ڜ1(P/bT&zp=B I&9 W)T 2;C+:KDIeGwt@.H2x=P5縚zGl~+2L$4|^:+ԙ` .a/HNvCHy0Ye
Õ +>lE!hm|}F & F6>m)fokD
J^24LJޫ^[Z OTc,s٘).<~*}79t.4x4-7zjeJC8MWݣ\El fx^%]>#dBѬ-eй'5C`}-QANć7
'2{>yIe)X/66I3I^QerC[ ̯-edi& I ~VS)g gm/
"cfg YZe1c62e09ed762e83428e545a94962250630768be00b13affeca8329065e523557b07861f9da96370
de656be5c82664d2d06f9d4f4c7a9247323f4c02
26861a2f7729d3ee945ecb9c15aa4b72e3287be6
5cf2275acca90619f2eb259f066c3f8b5ea2c2b9
de0da2e5791d182edf2ac8be8f977ed6e95800c9
a8bf30d8bf233f259f896343be2385387959009b
7 Buchi_Complementation