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 ^^1 44 SS HOL-Probability-ex:threads=2elapsed=33.750cpu=52.644gc=1.012factor=1.567zXZִF! WU]ŗXf1-q恈wX822*,״ {2I[R :28BmolU!"H~Jü)uQ ~z cW[|4<*brv@oq(ك!{4%^4L?,{Mx)>~ p)zK q39Xo~gJ luXwtܡX4IiTk!N7 'I;d΁w.0o$ISXJ[ ;(}~#3zy_>Juy/qFH;9J fn nm`^KwxԨ?[˄P: 0p wGr܍O Eό7mcwABGbFZ(Y V E:CPQ3ȹzQȺdxt||A1v+ZmiH"k:-~KKFV 1IqBncrM(luU4 -EvBNPZ$RImp!ť˙ٞX?Ljo@mMHݪ7%fhӧi3ȼr{?@LY5F/I}')z7D34Sbr`'D xEʐ39 iAۼ~ڏ1 5E3aj*E ;ʹT@7:̍=;4Nf*h}&]9 oT񻻘k|K',niPJm%^ I V YFCVisfܡDd)ƯUЙD!N۫!@=UG]OT3uc"rZˆI6jg YH F`n/n"C}_P_bWAG,n곱RpŢ5PA/alC.hH /b Q0يsp(:A+ 7ԌJ`x'`P=(o|HTO?~pW0nj)fw]ah1]QvvgGh2mǢY|sEO0Y+_dAv5ވܛr lы{a4^V$Pc _dk~ ֮=-'gYZ7zXZִF! T]ŗXi%B[_iX@T\ȳ"0̔ȢۍysόC1p`t$NGc#B-Jm s.ajD&m-߳>.gR ?~l6@W{-=a@*8'yA8ʬv<R#ԝP|-MtbVԉSEqJ"_z/<-! XH61=Ж;nS MVɛC/Wu#f h_AYL])9JOA޹ G#VZ1%;LX_g:{_-X{\OsD\SvT+vsbahOmz1uaL\'W@q9lF9мus/~ 3$cr21xrٟxۮH^7Lyq,l!b-GT݊iYT^LSK זygŋ埲CΐJ BgIsiJ˂8/4>l^@j ?(ݪ,.J4x7o?0]*-xY) R}r:*oTr@JU+#V?a}w:ma.q{-;QWhm q0{,2ľqyK7?4~df,JWAӷa(Mo7dt;tȉsQjV[Rgo}}. UސAqd2KCv˭C P.Rl.9%3틮ST/էu^|AR<)zjsqϨf$S,ἑۯˏll_kcqWGW#~ȳEƦ:qR>h?BI9ѥZ9#̴]}I,͸U:_b' p:|dI<2jI&X ?|ϑڎ|V<쪀-iLwhU{_=1PsplMʐ Fc%DK*}Fln/>ɵq+Oٯ xO(L4 xr_L( &unz] .T=BE^ D00gpE?Y7UR1쇫c%uB>d  yTԱM 5I|zgYZ0a873baaf1ddec0c839a440ec3104d92761a8ab3 7b4015c4242dfc15d6e866e03a6bc8dbdf2cf6e7 dbbef11a8f2df92cac2d86aaf7e461937091853c e65a3fa785f1e1ffe6f97afa01c52760bdf512f21d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b 28478f74cb724b729040a56b2c478ca366bf9879 322ad475e0568cdb3e38f6aba1ce968bce015d1c