SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 t' d| ]% Tree-Automata:threads=2elapsed=35.089cpu=62.304gc=2.876factor=1.787zXZִF! ol]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM?LY+SjTSr;4:m;3:%W ۴ C4ȧKhih9&R.xkZdq]zƢgN94 go?X\G$~rs. fLdQ<Ǘ[T"p痽j=H9֥K[ NnIY|Q,(  6119X1z,z"R1|^iv\.Hw=/ִ=6=pQ͂  H|Jyj1䈘 AqIusjTV^z7]/Ox1W儔m$r!b< 4u[Sw: ,gYZ7zXZִF! ఛ8]ŗXi%6Atzi18[;7U0L8a$!(oeףׅG GhH|rdBur@~멬.qv};ufih-; 7xˡ#_yE;ʝxxը`=}/%D{!tW0&V<2n,BVC/L&cNs8T# o)˺x#}/;,=٩Gh>,9'9(a{A]45YhA3/GNs Ȩټ/ȇ4U;}ڧĻ*U4İO+ww>ҐJ |Ul/𠙌qյ’NS \k4>u-Gy 738Vqe|Chf5BߘH%q@sP%Pτ;E ֡2Eu9xG=cx|9N>޵,ws$`iP:4*zYB#mtc'?|S Sٰ1ܚ5޼AËK^^8*p.B|3zRAxyuTz6 4_IsP8U wP2/Ȁ=LDv^^Zg;:N}8ܰC_ )rb]mF*!40B5%"K3C_į!r@MKU.G("h`#\Sq*Dzm.8X'xz;Wǽ 8tu,HO`mTCjyj PU #,7ТATOjb,/+~;dNm#RxfɁ_bܹ9U J$?׉z[y/Jbiu@_x-ڒcX¼Ym0ѱЏ- x&oYrIhKA=WaW %e({+oNxB m%r/ahʝ+uM.R7@LPһk;%ã+dFįc8O)0ʘP.[ow-%H6{ Y nG(>P9f@}3<݀Yi Կ .6 N1~5טʗ]h-R2dE=4.V1&CzX gqAKa[ }* '&~SGEÒoܯ7cF[jF:C;ERBH"=Kîr+-eԃHa'p(67Euؚ*aጰ=VN`͂ b]_ H-