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 w 4\\ ]/ HOL-Hoare:threads=2elapsed=25.581cpu=45.844gc=1.744factor=1.797zXZִF! ]ŗXf1-qSqjq[N),:ʵ?j*508sȚ.:%Umjr/pYlA}M'gPvs7qf Ld/U0gIQ~7q?x ez"TGY)$i_aKM sWVM'Y{D>!ϛՎpeb LZc\}hqV F[=Pʬ8%t=0xfޅv7G4FVT`<6XQ]N戔9r"2 DN#QWo}5&UG5 pLFY&f!H2WdtPkg;Ѡ~@k[pU} VИ(y| 3 *_xWeG* BŎ91%b7~[Lyvt.{aOkG_0X bʳ(ԛY;dV.h5=+ٟ~ʼny)Ol; eE^PU%t]D`:TaCUnt e]L/0 egYZ7zXZִF! V%]ŗXiɟ1S:Jg~(dSH{OU[R/x:5DؼU9R~."}Łkm+KsG;ۯK,S^Vl}>33fEu ])$n}1\Ǿ9K#b 쾼rOlXXl0Id#( ]vbK U&vZr@nER!2ޛZ縉?AT"D`^TWC(-p ;4ֱgYZ7zXZִF! f]ŗXi%;XܿYL-!'{?p{  n.Rv߭Rb,2mZ4Ǯv#f"ӚUWj}fcKv=(͢?;χ M̹bܦhl˂SYꜿe< WTN R2|k%/8T$ HB2em%sBgĸr&\f+U=}i[|\(Z^gF~H'T h> u| 7-6TcA{Rz[^!4~~;{rK2CdA$JmA]OI,Wt|չM}w4ÃY? YMmgH6; d%9/25 {v˷i- :ZQZ7U* A}<Dt<Y&͖gfɴh.qBݢ9q&sGD JRaqO.bT7N7*\jy[tkTh.؇2slَE"'TԕJ)W"zˣmX +OԥR4x/0=>s^bW&8,\\Vv\VXb:2+wk$6!"8_晚 ^LK]᧮!4Q3ApDư%_r2gq >V%X A۾1dsI9kk ApDW*Rodc>OތI.LQ{/{sb*c+*lҵ|L$<\c-ȏݡ+(Z`ziDQE#ӔY@sN`C{X ?f|H;L