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 / Inductive_Confidentiality:threads=2elapsed=14.829cpu=28.032gc=1.416factor=1.897zXZִF! v]ŗXf1-/6vRZ;P| ^TZ%?i_}~k“o5ql Ca_SkS7׸3Y2 ;+|UPm[/ b0W(dTgT6t_ZGfrSc5E+ _&l f(xcQv/D fG`i#ק]jl}0/<~:(ޟ&’3L 5}S}ȋ>GnoW3q)t<]/(el%+\^+9ڣ*Rd>6UtjGmT=}f(,P\|3g 7渂F_:ЗUς71X}TV['PMJcQZ;z|JBA| F-' j vՂ#斶8fNt.cY ?{H&>ywX aGiVӢWcvlT~##aJƪ j140\hx? &_%{':Q/ U ٱ1kyeGNlX l#!Ep!;nQ6e;EsMiUHIURam%^'o$Y%?cf@a6xDG= bbM=$>I.M&*ƿeFhAd58x$pS٩ZVw/p=DUѫ"``κ7v 9&Z´ڳr!Z5 Si)WcjU)zaOl{XTp ^ trf]A!u-MNJJ*SK3eI4.GiZ{rÿP.i(:^YNv5n׳w()biqmoݘNRrhI ?Q'u"жav`XC59 >NnۦX>0;#*^x7zF0e*gr s`/ˆa@?n+fYЎRz=v(问yɄfL%`A0q}%عz X `A;#v#v>AiSgYZ7zXZִF! RH]ŗXi% SbR=igz]Da2ăҳJhl-;ݹڞV !s%d#,TDɌGDs}$')>R/P&޽KiMA"W@ߢ/:b\yeY \R3 _F*M?Kғ6jvFRL#=]2*It84ĞE̟LLtZS.ڢzroQM->dl8-^O Z.\;h:<]xw62tuE~]OI !wQ„#Բ䦞8E5:۔l9E^CӫϰtP5JLEH~I%fY\PyK }=F0U*5t*8 Sh[FpɻGNƼ#U=&$ٴCx GhZ_ i&˘FIw0=V%kL<V柢g \f<_O~RK 0<&P}13CQl{H=Um(dv2uVEsr/Nk޾*}W?5QEF4Uv$-cPtUٺ|K VO26iҜLKۯmjKz2TuF@=mzhNl[9)8-8,]h#E~M ɤ| gYZ078181d96393420012c79e4a891cdc610d8515bd 0d607242806d85051a53d66abb45a1138f822168 1624178630a93c28a1bc7c3ab3a75667f446a9f0 274899bbd47cac6b8c3374606490c45ea071e203 2cb5421a455c9879ba067e1b7a1cf62ce2445790 33bad39081a73300bbe7690aec7847c6c00b07f5 4bb581085c25274be4bcecb71940b8bab1f8fe61 6d318939bb0df51b5dda26ef45ef4d5df3e6bfa4 75eb17d3f23d9954761d410f18390dc486e38208 8759f7fb1a4b1b76c5e52c1bc88c8d2bcf743689 971234caf5b095b4b6737f650cde44c0871439c9 eecea81df08bd4353c99babb9446474c1a127940 ef34e5bcc9dfa8fcf6bf010da23dc57faff1faa6 f0cdfb788bd0c7095853d9145579ae06d999b8919711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4