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  ` ` || / CRDT:threads=2elapsed=37.382cpu=66.968gc=3.348factor=1.797zXZִF! 1v]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıaA&?r S@ /ܴ7\;\v-(n<>Ҝpn!^W n[a^Ycʑi ܦiW #}|3pLPoh%4RhgbIqqnE-UGX5rMoQY!Fo$|m08Z}؋b. myZr5(=]8U|[SE2OW- 2^7c F dz+ǔrƎ znf^y)=p\G *Y= Ƈ`iݞ#nÖ;휄ʨ {ۊ~s?1u~kWb[7 zC|";LokҸ3SVT.xzgr"zINVGy0-08v􈻧~L/\4FWs7Y WquRNý 1|rl#17J&.VQnZ}G _*pe =!h1bSqLWQQ+rXw[lYb |6D4_n,k쫑Bhj%3UBԷr]N%Ԃ]ۅ#V7_KR #"Nm~:(V[3!  CRDT rPODs0lʋ{Xy42jKكd':FqܡIqLh)<>3aMC\.HYjRNGjϛcor)/i CzWPT7BYDZep Dbqxx@4"U 8x5vhwSc_;i3'1V?EU}: d:e0" A#kK/]٣0aƒ, P~en(|kg"amR~l1*l"Io'A*(tȨG8OuyZtE&B +CuުwXo:#4%Jz‘G-u\qd ㆼP ޸Ar)EW-J+rX|8^&zUQox9HZD-MSI'4f$ziI<Ѣ=() ٝm•}>#jXkKpaK1ƝW ~xHu֔ ȳ3IKF{d `(&׬ _<-gexnPC?U]}C^Ry`U9$xDЁB~Ixs Ws$7u(J#̇J+{<!Gz^P3'n2a!9p[eCqs|kQiSE\v 93tŹj!e(nCGltID(dVb.<˱8"r4{LhnQ.]HEe}Jʔ9>ܨ{˵1M)Da\#l/IRS$W+>1-FٛxQy1j!u(e[rD?_;LKJ;ے6 TH(KdBL^+s+QDbZ)CD&ySwq"#hMP6s:H޻Ӵ}!;q%V$2_`l1mwͧ-^ pIJUpV X.앙Z8$߫p/wjv#GsGvijLSvG"a|DHӺ-=ϊ80b@2CGy3үm F𘁯֕ b`2SytŏhSOUxG+]?O*&LVN~6\*8ˣ |bbaأ)qj*hh!5C hu(G360ֺ=Qxs nU~vDP37'9!*Wdr*zU&AS~P A/`>#yVs+p D¼`qXx4A1Ғ@)` RTnr@Vq HƟُRmk"`,p!]ZKt|A1Qd6bXN`FJz:)I_<4Ic8(&{M6D+Knj_q`w 69*^̪keܾ'xK-G)(*Xi#>u^*)EKh#ŏbqss?yjR<6#( 2ޝ= k6<'u-$fS 2E B؅& OĜI~Fރhج;m͙$AP&)..hdeZ~3 3]"SҼ.`^ ʎY 'H#˃n 6|!$v *EsI$K})'a@}#k-W>+͡cꑳlAC71LBgC*x9;}/fZnu(m+u *^k#e@0&6ifu"^/,"O 4xLqrZ#I{.Ԑ˱H8@?^'ӿ)ϮvkV!ya.U?gYZ03452d59af99836a680906b505187f9a7b92fef1 08f0891cff2f74fd97fe4f8d9775b4b780015337 0c9469e4651698f44e3e228873be074985fc67b7 11e3d63edaae207e5e2a56f61a02be1d8fc71098 185b62c9a47bec524007ec7a2225b16a8f4b9349 3997ad1247c599ff5ca5a09326a165d755ba9b8b 5117119a178eac69d137fb85243808da2d667eaf 53a0e66ebbe420a1db17eea8eaf85b4b45a9c094 6929a5a586c912fe249445f5324e66d2651d4f0a 69b4d87e9cab0b856337e17afce32c08395ac7ff 7bb2894bf6b2b1879e224f67e577c429b34466a5 7d61920a90bf4cf8a723eb044ad8ff033d8c6d1a 81bf41c134f9925f1f3de4f207a27df354f40b9b 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a15e26ba594a2ef06b91fe64c839819edea73a09 a87b57cb81bfe21df0024adf6c927b90c73f48a6 c6595eb84f7f5b6ff8cf51591a134ede1855866a c99a1e4e3375bd4b794ca4b0e7c471da40c32cab c9a7834754ca020e75afb9d98e309c88e75bfb0a ccf76f9fb34684fa9272e37fe3518a1f7abeaf46 d5b9e6934f370bcb1889bf0abb57946bcadf5409 e16944bf0cd5fb22a0d358f51a5754bfc614e47d f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 faa2ad9cbc8b68aacc77771a34ac920e4d7d75d3554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772