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 | \D ]/]Nominal2:threads=2elapsed=40.123cpu=75.244gc=3.664factor=1.887zXZִF! ']ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crH$3i oPFMi;1Ac 7q`"i|}yA-KD}9@}f [ 1#!s*SfLazāҢaIOS!&{łRv4\68|A,T*mUWedD:X_/ +4{qoyvAH$0_QH6a9pwS(QwԿ̓AH#Q{n@앏r[dggY2"91   Nominal2-+ ,YZ z EHmpK8ފGDxt73]!ٱD$CfKB̗S5'G!YoNn" ٭`^󾫊` [=UĬȂ$޽1SýXL_ƪd'AܞЦ|-;Gΐ`5N6ߺƲvxO\)94udiqXogsS*iTIQC!sNWmbB5B): zi$SFnAQxTtawFwL) vcSr?ȻԂbĬ>Veh75XԝP WW"|@x-6P6еW; 7TP?34?&*/*Lѱ`CYE$[Tr(Bsd}?$"]X zNA-pY 7Q?fuy~/ %XBTTFzǂ˪,|zUq6S6rI@&_Q>-o}_XћTǁI+v |RT4?QBK.prlU'L4?^.W⻗tm.xpÉ|~E(q;t6Yt0j'܂ 5,6X&f"#7Bg/pft&ܣrs7$83 {`KoSD<:WnJx.eD8 Yn>ӨX2 ZlK J(+&-#zEůTO ҼL'a O1gYZ7zXZִF! ] ]ŗXi%6q)xaH7s.LRLdjpr0NLYCb?Y HMeH(PzKPu>l?D[y× Gremytx q%Q<)IvC2;Ӗ#8Sƅk)ˉEhA )KD9"tt$h?2Ҥiȃ~R)ض]^"z29 c*`s[l:%"t"٢4X]s͛X@Ūr`NPRIdcvլ9ռq;! s_ 0E!4yCc&8Iks&'and - v0S \yJ,K{`G( Uȅ1=ГYyFj0sXfl6 >.,[Dp&e@f6K6n7Cg1IS* ymefnЊ3.96rÓM 1AZ-)i L\&wΫ1*Q8 y(.FU'Bf8MY_&M*T trƸK-Tk0ī5~6i+:u,O'"oɄ9FYPM>iA*pM؇Lc7n}T쏮~wO豪fbvK3eatߦ cr5ntPXnGl6X{ W\7伺 1WOfjғh7WV"4YΦLjnAQ} /yoōūe>)JڈV֐o"s{.:'vf GyyWei >5L|D^}h&t4u5H{炱cLLKiK4x;;OSfrDnL] γo's(Ac&SKg/ m{z4DH4owGKֳyJUUnAF[{8C x.s6|pQYD @kR,eQ>L{xgG50YBZND@Z$(v3{zq<ݗFa9Q)m*ȂIFG.B|5p'IR6.Y#QkOLX9-|2઎S.C2z@&wu'hhиeNj˄[%p)0Ok??R£)!ɏU줭 _XԽjS0jL }m{&D&b9|g$2EM|՞Q eZ>'cr -n &ތ) E"vssp e8@EG+ T oETqf/^nB8!? D^}߽Ll x9.YCB$0&.1)_N Pu"3w(cs\ԵE}yx7t˚5˵'4:jVMF3s۽!փWbQc`Iq0MIvɃxJ;${O9+ }T9}9+=%(zt␅/O-/769"ސ?ogYZ792bd5a66dc1876e22417c4aa49064c3b8c042061e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8f5ad53a1e4b64eeb3eeca1dbac9ceecf790295c2