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 66')D m/]Codegen_Basics:threads=2elapsed=71.392cpu=118.192gc=4.884factor=1.667zXZִF! ಉY]ŗXf1-q恈͐7ӺV 1VbkEڄvJjb:SiN35Ny釗3< LKdx,IX-#9Qmn-A?@K mo U ZrjHLNMrw$qy0%3gs7fC0ОZu.eQiV ;[ ʢ TJwė\C DyP5^=նZܱ;}hY PU _XZH(xKjJn':/niQݩ"_% ͇4g)"[#J'T+$tDO8Y6j8Y9AԂJ6Dj_67qFY&s֫|r,j1q um69*W%+ShwڃԴ3ޯ||z(g@~кjh%rW-zrm~}6BH\[݁`gdNk7}K@TV2]=C&O?[z6CQ6b+Ū"CctޏC] %'f5X Mu@h3U㜧& -fpPY˪µF<֋umvL"$ 7Qo1klt1=֨?>CKIeE G++D=X$#8m^˽ǔa ś \O;?\_hA(@zZ_4⌛%Hl]&/ evXc*Se{4T뺹e X~ޒ;j ) Codegen_Basicstqc\ʨL1o\{Gyvm )V֬bO܎ (O gݍ =Zlߦ8kn5?&[C81Fߺ >Q܋GB;9ӧ Ϸv ]:Nۜ ~vڲccii۰^OBaVc5hQr_,AJ.l}gT5Vc =mɆ.䇈DRÂ+kM sF?g]7 -l y>}*!0#v۸rIVKI&18MZ7nLLD⿹|0TeA $_#ۿCUЫMyߧK)c{bp!O6^"֭UDfP$tq-uz>7rn0YgŽ@xx%kMLDlڍ{*77H7aqZB eRJiSh*ڛ\"n0* A'6}z~y' Q]s<;'Qo&W3#8vbg+^A\hFn#'M-$5o\Q .H`ٓ&M%Уy +9x(Pi-BnZ)9-nq*pߴG L :ȷ!3hʜkB2ЈZa!Iky WAXCd7yf3[6mtJ9D ;)Pϴn~|Q%dNmMeU+;"a9Ys=f}zKf_0Ap78Ɍ}6Nj|u * 0^Au-p&^>L.kV#ƂUՖ,9V XINXƓ=Va7YT}g:-7G =Y/WCi4Ħ6žɨ7I#a¤;  e\z;&Qa%ߋ#f:v|f$֡ \v+N=_h䱎juS wa8"h_#c>;6|kj;G\66J4׉(2spӿC[ϥکg6=&9faFq3}"1V ӯBG뾠99PwBG߿|\ '˽F?Yf=^H4 sN(AJ}z5yhXqE:*v-GkNSŴ9 Y sBe7i1W~TBhHn"3W͊]1o// cd,hv~!P!7[DͭhPWfy< (F *m5E5+~(;FP |n]ʭ*s/_YrdF {n;‹?IP~š&*8i&ky#lQwcU!YSN17 T@V YE|͐%U@ !ph|qKpHuHTiXU΢qμUaꌥhLcy_ pز'#Ռ:'Ct؎15*T0$ 쳑qʦQy5=6OE_;ozZV΀C!rDrwaNEV3L,T4& ^b3͚[fY1*KD3ϑ9PqlxDXlgʳ%u:cMg;cw"n VR pM7ȥ}{v>IG*ʑSyKV" gsZrMX~<(.3K[rc?CsLƊs&64 |j]67Mu{f$z_s,tht( 7`q(&l3 zYؔTIm' YiVm󩿠 nm>\!o3nH?zmgh~>f%D`X(]ލtB0-ÏuHt 1Es"xcD8-"˾ˁLmyf l>wa JEB٨4EZ|W"AwKTi94j~p#oKm\+'ۃ$ڎ'S>VHWoCU Wa"Rge5 p^9Ӯa-ҳt0QiO/L{yxz6YQФIok)zxɟ%8+f}t4UHD%zbv7;4%Rx[6i/L)’ܚb5>j]}:iYc_4I8 LL\%::)EUjV[qBy!\'yJ <_^}g6iV7f%ue">ߙr1Ĝ'E*^ꣃǓ3iMhvԠ0H:'aScB-ڝ}J}P:}AU7\MBO kP>4w,ͼ<p]t](Dd ]=Wc$ [Q1+QvM&4F綁 L6}Nctk LLJzMS ׀wk @v.HOq 0Q-,G/BDajlV+p h.}BԔyN}C2,f_"?vW6?[R¦E:_A^QBuA'sGehT"5DM|>sݗ)gYZ163c6da12913489b3caeffbe6bb659044e356dd1 5ab6fe789362ea65dc2a03bf30673e6ed4319a9f 653024aec52636c69e6200375f80fae0762cf860 8d31800ff14de35d275f6635e9c6d24becf4c94e 90dd23764865c420baea02c03390be6be9f12060 a60fa1dcc39efd8f2ac95d4868c523d85ba629be ba26ac9fd20971c96e243600fb2c28eb3f8d8ead caacb35c29703bbfaf97def2c6a4d89fb8afad08 fd2b02dded527fdedfb330e24b0df02361aff2bb014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa4d14b8d4bbf9031b88f7b092372c033f6cd08968