SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 0 l S Show:threads=2elapsed=13.532cpu=24.816gc=1.252factor=1.837zXZִF!  Show p@]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFCWe{h۠ =1 jH-&VXNa&eϿ~ C@eCA\6z%euUwPt;%GCS{36[u8=nXp&;,8Z>}++#a3kۘB ΘJq,f5N n4ד~a,j3DmYLr?%;7V@>H(oܖt 4=Xve R$D's)bJ!Q1TQ/. T2F/(R@%f\~ %L >sCɄtjDhFJR]g;2"5[,?S(ljfɥ>6p-]˲ UZ%m gTS>5:YaB ƷMdMag+GbYߎ?^^5Nr4:lZwľu~pDRo9ldJHš\Eʥ< _V䯔*t3"z)0dzw!3kd: *gkbˣ%ޒ0 @`f^?澇DL5`J32LGD҇58̎3ަ>. &&q7*OX[I@h=[[1%)qRC}C$pm/} /.4F{hl`0>f 3*R D(Q6}>Uߓ#" nF-xFܝ8?iƪ*FcJz@/U @Zt+aP"rXһiO7 %}% ?G%ZlŝlAZ%j/lp^OGSiY$O&6]rh$*s:sxR.q YA͕|H-aI;߬hõ@NԻ gNY.yL~S {V~|8~;4\48\mcj3X7"$:P ~]MoGy3=jںwzW<_+rvm gdrQ`ՏLbq2 VX8Y9o({巨ף56U LiyS #W7͌q.I݋׾(wxIˢq]?`QxAVQoEV *(ՁRbr K k ȁ ߫S)e"J\-Pk8?!Ni_#*ޤ/uu*t_BrLJV/vZ<#et= >zkڰP Y"2 9'CE2ՊGe 0ڡwpm/^|Hc@A6[-h`"'5ЦR"p/Cj  y}kѤ?Y++ZdB.n3J{w&f3oNbUye21Σf9:9 "-ǿp)bz}] ?KdK2ym$?1A=)`/ ;vVT`I !i0 HxI3m",EUSY~?;y[-ViIzW u<0Ṧlovob@F1 4$8玕LqvX/Kta ݈2*?WuK"#YnT2M1Z2l2 s{ GVp%5#TX!+MbK4(dq(Yi0\8ޅ"(r3Vj:BiwSW/vu}{+5DkEC27FF'p~)9~piXGq)B1r4ڜE)Cqt砯J4# Y5`ˑLeirv֯Ҽյ__fWQ\h I@bRu7nưնSD̶."sTڦ*"G,sNgFWAUh^xC[DZ-ڛZ4$;EezM'sMA6 Mp<=Փ^NTcPud)0 h]Od7#+AZxf7ǝ,׺zJ$U,dfBF RgYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac cf0eb34815c10b600e671c786585de3d3713e6fc e4b67763cc44ec3783072429e27930a57fca1c4a f83abfa96c2346ecc68d747c8f1846d73e577b2e7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f a22d66b1f4c660ff9c6ba6dfd953112e496cbcf6