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 ) lL I/ FileRefinement:threads=2elapsed=9.985cpu=17.760gc=0.140factor=1.787zXZִF! ,C0]ŗXf1-/6vRZc/[؎ V~'0 OT.B+S2ng=z@vJyY{˰"MĄX WFjK\L;*@΢3|4! 1"lx0 t_AUr1_L4)wh'島 RxY ~QW6 )H#ʖsYX!F02 tY|lhVAs𴮩)'Ԃ!Txw}\ &=d6M25qq3G#$4|<YxA-;siat1KNnW]`tju"+bdaȁտm_.=EUB9d?n?i"Pvҏ{MlJ5rgJ)DPf{&ThϘ߮Q dj%!:IL/kwwPID寊 @?P4Yfz8Gu3u ~4̄}.Ɨ4kGW움FP bŞEτiƏ}b !Y-!m'r)iu8oH gB&+lS^s!Ew9}PK7:cNx4FDArӠm_r3Oc^&"v-!0pnZFؒ:"Fdov%lXvqk^)iTWUv~XgYZ7zXZִF! 8%]ŗXi% 2R;73Ye$wՒϸW>h~ u/3Kd@]:˗6HKLa6{:%|=\,vAށY%3:%9‹zѵ; ϫI y2_t ZHE[D|>\&jyl&ВUo܉'TxKIgԆf{ U~eV2HhԺyzCoo "8ϮVA%O}8m k8rXKS9?UR-ZQ^Y-?(I@GKۑۓ m3A 1&G0=="yPRyF ݃ߞLN+ޠ-0yA D{h Ǯv(hl0QJ<đĞ7 u=|] WP#?W kIhhM!tnd7b/IjFHsT̢\-0OqS-wYHnClz< ,@H> >k%j ģcuQ\+⍭ LQ[0Y210}DX-ЗvUNٙ9(tGv|hwHq9RPLÙ s˒EvUm4'"ҧnjyT@ďgx[`iX;^ݐY4[g`WtBLlKh\v泰!bE/AS):p/B}>rV-]6o+yc;r W.9t:>v(%$V*. Nw>~|t@V:cLO;!ewNwe;*7O! %}h,ۇ" *86?pJ gYZ10d3f9caf91557b4e6c4f250e850a2a5687905aa 10ff34f104a3e359c9f489a19debda3269cab2ed 3409c0e045ff2dcd1a56ec68c8830add04dd3737 3a827de45c65a4b9570929b4c7b826e635947b14 9ad482ea1ce287427e91e9b3002c3c384c0bf89f b80cd2c3354e8be697c2a705491cdaec817ddc97 bbf04ad7a97683c0d9b3e3d09e586e5ca645e1359711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 ) FileRefinement