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 SS! Ll 5/ Splay_Tree:threads=2elapsed=50.397cpu=77.212gc=2.024factor=1.537zXZִF! ? ]ŗXf1-q恈͐7ӺV 5ԭv  ! Splay_Tree-LF$KY:sM!Cu c,=Bgʃ ҟVu?u%XKbufj,5&1WSؚ).v_tw 2Ua)X;Je[ϗz: ;r+qV6V c7"TySС4T9Q-;Gn<ֿp# ?1ƪ# $" ٴP*cwԠ)l)1JH*m`q$Pǩݭ'B>3?&hÖONfU$n>jI`H4 ^eZ9&Pz CnQǔitut I\}i`гm 3t98aG3)lpw4t YQm +~>e&s r\كiVX>6!C]0dLcr^ewJ^I3$85 GOLv^%j9D{T84h5JI~ve(B;U%Y<Py85I A.DiIwzhBan'񖎥`@JIyn# SnK@L 9mɾ-xϿ9@S9Q9Hsԃ%MN :\nSJ{upШL:2CRߘX?)mN0%qWή!CrqnsN8ivftNj#v9 Z|a[R&t6pt;i[e+ Yp`G8x)s6R]G"HbY"AM79@'VI*W\W߅R}Ld$X$zsg_W28.qOE- }d촴~d~DpO$"y^fu6m+J0}kx?}{9 A̧0]x3 :-Y1!U J"[̲sNr {oij(7A4(}EYuYó@Ba9Թ+=D7[t&NWmܯ!zPD°C-F%ܷ4 _1dv{A/T؞0CAr)9ƣn, lCQ|6 )98[ uKqmvwuqUDFD1bw`CMz*@h5 H8h.\2@ԣD͊`$a:]e09_S00sɯKP!,% л^^o!A(&"?yM!ó)XL a2 J0x̟f&Ts%4R{@!/>BN#r+M¸'7sd kޏ[%旌#hd2A,1]q@%fPatP}G6w\^$k/ǭmN.>w`QybANt duRH]ؙhe g}s *%g a~BQ,6`I I(L^mL;`nt eCW` X)ǧv t*Mnl:Ed{ ːr̾KC_axrD&?̝ۦ# ճ*~fgoԼϤgQa,[)I*L긪L\r'JEIps t\5wPux/碒E}!;߄@_WbŵQ&7zG2#vؕJ-aͽr SZ$W^ƴOu _Ĝ0֪|:&(XAq*A,q`7FlMS{r+")|E^L65cS S>}?gYZ7zXZִF! /]ŗXi%DQ[X*^P A!,:q(hc"OI8v/Jm4!Y(h|]ZѼi}n&_/< أ,s;r߼Yv0-(%(ƵfQge!*t!NC&FiZ8weOw[vq;Pk_@kʍ* Š|.^=FP-;HhE͕=7X&[.W6 ?:UckQNf_sv~KߜHU0ynq*uܾrs I/JÅ#?&e)Pl@lI64y&61B6rTHAGkR6+V}=:Μ~h(wzq~QnH$geʩ/q>a>.6ªycxM`|Uj8Yv0(Q垗m. S-ۚkrP,s{^ΓUb\nj?9S@v:LYy_,8f@1= gNkPZ\릳c<+ f/&(}]WFLԡػ?g7vฑTIwt۬5>HK"o,^c,*(I͙ N8;4nV.,qsqIsr439)o~?qиW8Qؒ׳5K-U>a vGG\WUE)lMo?'V)rg=%DT{S ûXJ˙ x[s2qɐk]pNwQQG&k_04'ˈfhVy`nZ^8M@$?fTNx'B*Ԁ047`)'Ph=xI)_h,j.A2t5nqiU )So.ޛ^,D<OL |3-T=)z(fL1&^[lhٿ{: ;%0 _D3{=={DxtnU ƺ94ӷx#.V1B=i5Cl/)?>řCx" _dၪԶ+"kC?{{@4ꥐűn)z]&Jz:8fxŎJ:<2&k DV;PGYOpTpr'rGyqVlwaOO@;mwڑH |vrB֍ԙNk.-TSpu+d㇃خfSb1kr_K>8.|X l(H|Bm]E`8[x ZUhD ɺ DG4pxq/e]<4몌' gc2gIMlu~$z ~Ḫ+#Ir:[Uh[WReb?Uyàiw];f5t5$% JG筽=*NwT[rR#gq?{9y*BsC7AUKSi]8߃ɚ:47w~|/ASA,5&ۤQɁfnbӨ\ّ&<. ־jh^x苿<΃Jic)q'r b'F-2kgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 2fed56e63e64893cee783edbeb3c8594b2a04eaf 34221437a109a5594ba7786476b5abb5979a2647 41d32e587e4da97ee0f959ac9fec845bedebdea3 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 7661af568cc046b290bf3d73e48e9f58adea5581 767b848e899bf51172cfcafea6b2fd397e8b0312 80eed581e9827dbf27df0eec911196b92f9e4a07 82fce86746f9061205d625fb926c1da3b71e3bc1 a6d881014016ac510413e96c94577bf126ea335f b5fbb85a82a477e0f96254f96bf994d64f5f3ffd bea63528c5ae9662bfe55afce882d1f0fb32c3a1 e21dbaf449637eb9161af006cbc8f4faf91e00f57df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56