SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  l l +  t ]/ Decl_Sem_Fun_PL:threads=2elapsed=50.839cpu=82.596gc=4.592factor=1.627zXZִF! +]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBa0-QNhQgg:Tο RFrJnCvHC|y(L3256KJ YacNHpK">駖Za)yw3ׯZT@0P~arXvWEtRTLr,O0%q紋B,/`v|K^A=딏dL$@ҞmX/B9s[ \)/MJ C\'Uіi4 11 >2 8[ \L*Ne' ZL(&/Sk83r*"rG2d,ۻyy:ˊ\`OX ZWh]9Q@g&R.QM,ӺJ&',@o1"r&v t2B)bA`Ȳ\\E!()gѴE&Nƫt50bvF>__sdǓ6 /jOP.&EIQۻzMlEjj޳WVeȵZ5d~U#L#5ydb 67!E,tk dQ3H5*;R,1 + %DuRĿ*Xh$B-%n5!e}@W(KCO|9h^'ٲTiKvL ?8f}ZEsuQ|(ۙE4ž"n_*ڜ HQxee5COaضft|'E,UWsKG(IF_**E䝢91 &àѣ3l\gVM?}ۚm.2)oӃziV^>l?!g*;QhVp>e[ԏNZxfH:%F + Decl_Sem_Fun_PL Ի)1VaM'7H3tl{XٹYM=陥2GnMV^`@KЫlUwGR0l闪lnZϣDp׏HEvHl]^cL%^a<30#Ha,.+U_[ku?6[etA==/+Y!xʏܒpqPUߤ*x W-"gYZ7zXZִF! >]ŗXiɟ1˦r~KunύNN{{q;I0]sņtD᧼jS";QV~_'qAg8>7Hg{'i!M0RM%^_Ҿ A:8ΰ@B<Y@^:e۝Qgj$%NV 6ֳP N10P⭾}QO%V!gYZ7zXZִF! ]ŗXi%6Sud@F9D +ű LùLOY@{_gd{[ ɏٝl&2HzGIqF4ǒ?54/CߵŘj\ԾL09m"5"djhu7ݼCֱrR4g$X/>'S(z5?MőΛ2 ȣ(>_)S 1 1JV0"%ԁU3qlxͅAR`X#+ȿfzuWDtt|*K:`;څ5U5 )*a0  XW Lu/SjXD٬ I%C0%?0t.8؇ĕփlůecd=6!kS縕OGߺoCQP!$'娺tviX@uB4"[ľ9+]@puoFG  ߧT,BwOlZTpJ lͶ]Oy5{`IҿFzȾZXnt '7/sRTڝ3O31Å1-ffV/+4ȱa,"!!#B?1;AxYPz}Oك2㛑u޹3w+l_[xW[`;+2R1w:ȫL_bcȷ˞:mm9dU8̾:gGs$Ev-;5P7YMTw9ܡyQ[_'8&?AƻIZѸ˥Jgߨ6$`,X0\jI5 XtN8rAj&pHsT mNkNH c2oXޠeGL1͚nxxlV u9iM $,ykV;eKpFIMok53N/Y5Ulog'2od\ -3^”tT->+r7r0r0 :zb*D%jKV'RIv;%&4=H";7~cLjq*;M\{%y|#f-pPQ~=R{}ʰJ+cSv3yqtghn>ļbK4ByLSoo&[ Mˁ B={S!0eM vKV7ߕPa:AŸR'1 oTޚ]of) )ȏQE]L2 ZO>J*6!эczΧ iYt ѷFv5`!8q87aF$c˗mDҟY5{D)،Q(0bnoAP?Vy@ZanIn0'E9v~{- ߩ{T )4gSJkjkipiKH]} QkO'l[xq#( B7ґJ++y'jxY <жEѲ]ف :9׍id%,<0zj'3<`eLP ̾5T!=errWpJɽqx(5k郞d=*4zAMopZj-O*SU&̇"bkyN-%`h#ę_*I9}O H".LCU91 Ps<=;z0ƈ֧,%>?}-k_259)dor;vH/TN(ML՚|$ltrM:@=&0ٙ"|ƻx{ʩ^b?l8[3"*6(|(dQe#n~l_!aT'KP Jr^Ǥ 7߈ ŸǙ/)R89A,%^I2_fIW8wYHQŲgR8lz-rtBQ%25ܕt}kW{X`݀x ^{, %XrX &XprᨬEHvN`ݟ3#sUKBөgFO@7 簘qc+!HE׏:n 2S\߾v'e&] B,&4bUm+yטRNKO_>Q6K(8\2o)lR_?;ik&Ņw{xC17]܅#a7$-=fXaV45l RXz*j23_E hU4XT/ܠ05n Sprzk?{NP:ՂX.[Uvz%`m+I @(qf:z36Uz̕ N\ ~r&4yOoO*C&aFA䱷}wvai~i5?RLedN-._y*! 3s?=XCIDB:rL6T7<=XE~ _ֹ2