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 [)< m/]Codegen_Basics:threads=2elapsed=63.569cpu=113.700gc=4.476factor=1.797zXZִF! ]ŗXf1-q恈͐7ӺV L#xM:ëIv(Z?2i y4ݳ4"@1?C"ѱ2Yj,17a].4Y7M˦NO)$"(5‡_9#J *UE2v+oQM5 hY ^Lj&hCB ړ:?D'lՋu./qԉWsF ) Codegen_Basics,P#ms풆j[xɜ7pi>o ~Aܤ2k%vs gEm'2.Y h#ǝ%0ٯJ+ՠۈE9AtfjeY;тD by;9F^Aٷ8EMkQpGu0mj(s e>%a8SAKI` d2Yd]ްv8|(4]\hCy_plnPn:r!_j7(r'^srx"X9HhKh(y^n_pc1V)V:!lEBؘfQЏY^+)eT)05f84^"꺰XCu%H5rqqxRn+-*lf6;@%"bH2:tL@H2e}3 }ܮAk &3+E7D$(l9p5s3T1+ o]=Zckض%~(wt$іY9{2 ԑWtэ;@papPf$qS,@OvB. 9OTԠ7]%)(Gŷɑ.Owa˚[#@-&?ge,YE ZRm!h#q,T" ֭ #GF; @sͫt_Ri{wD&3,!-v}TiKjXhdUq2;|5'Ggig|LPc+rXNG@:Ro{1)@/OI7F‚bY0LU`oY,}F.?u!0tյSW38tA\:6OezXp072#4M)*+0 *\GOǼ! zq!wu f+V'1)G^Js;'~.1Q&[j䇎"]T0uwc AG[Vh'*쒒bNGbd)hoˏW]8?SNec$2zWr#`/HşT?]Nj6AM`,KRţPi!Z;;@ގ.1،=bqZ\0ه32"+\9}5<,xU t-5i%o$] R^Z̿ ^yZpu3ɟlΛ($t o dpܭ K=-gxc'·LyPITBCgvvIzލTܜ S;Zq!%)pk\naK1As7jȂ]6Te8.ڪ,/3&zv%iYysa/X@ۖc<^14k68jș2l Aȭ$D I&]ӾRIb8n~[F8e^M2e $"ȯ&Em! o;L)$R RV03r z),&Xr˖O-bcM0n&ua[_ o'[_@Z_S.9;SER԰)_iV<%pRlԴ ֱYR%$^'K%s/P+(_+ {xL|`+Y<ɓqx8Tt4Ϻˡ+ 1Yh1qU8\am{ɇr$a). 딥97lfͰC/$|,?O+襥)^NLr0DzG^Co8wP.ףS2BnD!+jU~)uC6*UҦy1s!$`}CcF%XrTC8`8Ƞ#[d;2Ew'8ǎUv0Yp3JOMx~6N](3K岉jǚF-;)~E@xF;7o61PprϺidx;q8j\bI1цo覸70 '{݄ Q7G7ԧzC}}ĶP՜`Pց }58QACq]SH 'RQI~*n ˩AɑaX+x70Ov_XpXϿ #uJʚh/qtϓ}BbClNIHd!iMϏˊ(r6hә1I҉gYZ7zXZִF! $ ]ŗXi%HuNa/ E_v(0:X@F_7\VYݙdTap/!1E.c-yty >iu}=KF52ΗpܹEF\EtMn\+O ptt=9x +^nc&7eNAR." 6ՐSepǾc%K^4L6⤓#+zެCpb#q c WSn#ќjǯF*֤#2,-*唳Zp %-Dqu)\0.$nUz) R^F7hUNz9$'=:UZ $:An)ȁJӀϱPdrSԑ#_8 _3H0Lnq^P"tS%N8; K!" cKr&} 1DaW)#Mn{(rtn?2;dQ/wVIzEQF=97'"2'ܟ/R|ǩAӰHM! '1u $x?(bհٚ'z( `#;ڄ+dpn~Khr jpb(ӧo GBQ &gճ4f#Lk&URr HEF%<$Kl^s}zc/7VqYXWǬwŐ#co}KnK9~n\/͢naBgU!\>R]FЬbY7˪GJ BU]P:3]S]{ShӭѸ[Gc1 tܾJ;^c0>({H&c?QƼձ/gmBWTRUB<&RGEZReR޴ڲ>Uy֑KZD\Ǐ+xP:i}(#0~>} E3 i[!`H'=#"AVcT QcYv"_""rZćh jQ h8B75Uٔ}-_Y9"ڞR..q@5 D+bjs0J+_ĭWda,kH<Y yuSL:!kjjg fJJQ!GI^B!Ybcr҈:LnH 7Cܭ*i/#Ux#xń*5rczL4wߤMALlՔ-Z6vLTB8 ?]Q}QǗ].U Hs.])㨠+!p< m9Zʮ1Q`f=y7FadpBpx3mЁ:Vq {}\x#,: F?x]7`;X(kO=wMI[Eʼn2#Y69Y)~)U# TD<2PBaDž\^jK \%8#ug5UͥY8@;gFA[Y53'\#xΏD]*8au$.;:O ;=%Eʺ$X)I}O}E}!FTCTm%:>K /W2 arnR͸!wRװ[Ajָ4< XCI2zOiqetX)*T:43;|VjK2-x(CnπZ퇧ڋ'%_ r]v RzVE6*8 ljQ@>5=$̗NuD+G 쿝vKt`@ώdZG/*hS)$G#}?=4y*L,iFӻ< °naR(<[vAm)꼭eu?B7g&]>g6lro[x֏mQ4]zǸ;,ŌHVdja2E! qTl<0w66*ESP/$äǓz]hTlk/ڔyQ?,|9&N_N *e4h/rurG )[wQWv׉h[aw-Nq-XK#d5ܩH'C_`8GOwA?Օ)gYZ163c6da12913489b3caeffbe6bb659044e356dd1 653024aec52636c69e6200375f80fae0762cf860 8d31800ff14de35d275f6635e9c6d24becf4c94e 90dd23764865c420baea02c03390be6be9f12060 a60fa1dcc39efd8f2ac95d4868c523d85ba629be a9cb5ebad9fc32e0c48127d410ba8b5b21ae3cbb ba26ac9fd20971c96e243600fb2c28eb3f8d8ead caacb35c29703bbfaf97def2c6a4d89fb8afad08 fd2b02dded527fdedfb330e24b0df02361aff2bb7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a1679e15b49e252aef82ed109f73b0bbabd6722b4ef