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 ?; 4 m% Special_Function_Bounds:threads=2elapsed=43.746cpu=67.036gc=1.288factor=1.537zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/Ơҳz }X^B rt^>(rj(kƦP- pou`c8 _XA8'!4;s#}ԈΙ`܁oJV4 s;崾Äd)gJ?P1Grp;.qڡi}ԓCISu f߰ќHA5'vj?Og݊ j*vj.Vz1{+f|f)wa)ԟ2ix.gEWE UPOӯ/$>Ae)0,3 lD٠Ad)0So[vrb(m|?<"\0csH.kP( ڠ4Gc¡2 B!6&@:m\7Ge9u;Tճ94Pe.1fctyCjm4mXsYK$ ٧T(lUM& 4:ZM'DZFyK!">Xkbʯ$GivKT>FjpRGQqHY-,`5t'i;Y{EĊ=?gYZ7zXZִF! j G]ŗXi%6SoSg &~ϭ LiJ=&\'u mh|gO6057Wj{HB# T~:?0H.FB8?kB\-ޯ]) ;K^GHsP;-pj"6-%˕ahIܤmr470~rӍb݇ )] Lb:ZN܁RB\S}dB,ޓb GdoFZ`H&f[4h)11q9tU(k:z>[g"y)^DH;K41hP 2Tīhx 0T]+yA)0im8#B']2%adA|]ˡ-JM{sofcpVTC*e Jh19a2IZ L31t'1Eviۨ_t֛Mxi;I?Mfv'er/$˜ldG#KzK.JMTN `݊E nf]㋊{JT%.1A .թvB]V.]x 5K HI{*cpǔ) WXSgAB~b` ç1>Hb࿗4(]aǨ"zJcPrlL i޾XWqE׺,zci>%?eĖ^Oi9྇ɧsfYI*lDhC|>1 T+30Yb.2iL.W;\ L+lxh"ewKPI*8 tGJdP(a4bgqVRX\'(Bc:W}|>߂~n̬f%<_ fMdr3[T㝀}NJC2’ay=  ;׋H*/Mο;zɞ UnjwHo]s_E'q+!@7Ͷ 3yM=.1@8ɐB9{NKTVJ-^Z]A.ދ0.Qz$䩉eRB my. wsrdGq`p Gک٩L 9a5Qc@8Ce&OMZhj, +P B"dꥲ* |)`ы`!z{mA+х= ?t?9( >5ٹkqIPN2bS> 3TӭH#H.M4ÉP }OaA z?x5heحi+RG瓊e\)hU΋_8$\CYn u9T~4WMT&.3XOLxÔb!:ݮ@?iCBeOj|m(|;顎@̞FwU\9J N<Y]ן"ٕ}P E웩L KHTk3"Y="zF%>mYT.DK<@'8['| tnqdM r|{3DU 0j_R n?(gqS:EN[_qg MP:T~ (ߑk-*>'%7U9X^ _Gzej*ES.*+[ d;"JK&'z{Ԓ~\A`QOA &1xjsR)_ !*)p<"tk<>OE"X#FJ3Lӄa|h 0jCT2T1jsﶡA'9W MoOp>su"X#|ol`:olY.'%"8"V68C/oįg^ްv\QE*Y4r&W3*)4ŰB5\]JdYB ,BaˇOu՟z&[b…Turk$bEnG.jyQ8[#ChiXfǗX4k 'K .1%rΒ3 %7R\qXZCLIXy"] 4JOHT=@ؾ'g?>!U_eHgYZ36ec3d919766f5575ee7f9e49fbfd3924d92ef7c 3c7c24926c5015832091b71f773824ad18d6ad22 3f74062e19a60727a09c308488749462de72fce1 6968882a9b8b671a249cb1492c0bbdb0ad92b429 7a2f2ba0c410b0eb3cb5994e2ec049416508a5dd a80ec1a1ac9ac05f8213521b3b139f3ee073af0e bb0a799777f761555e86304e137873da7c79c21b d2a205ea372a1162240c9f333ffba6dd3b94deff d96748e7ae501033e4ad97e167b625c75055990ef0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 17803973a4da731b1044469392471261babd3b40 ; Special_Function_Bounds