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 YY5|| ]]Amortized_Complexity:threads=2elapsed=85.602cpu=144.932gc=9.992factor=1.697zXZִF! g{]ŗXf1-/6vRZ]F!'l }ָȲuN;f@,PP̾)G4rh .Aw7!xu]Ln̠.['n4)uDlx)jb{^騨eRA a;1ҨHə#z?bd֐26aW0gDiI"ӝ:@Vd5Q?SNsw&_[[16$΋K4H^h:ZInHlisC_98a xVTsJu@h1K Ȩ1KqB:#xhqKdmG<'@8Uy]AA7M=v#:m-M BgAߦ6PIٝ5zngܒ`%=Vd8׿ޮ; B22+)~qa 'Rh|ๅB3AEEp}W8 [o nQd5~ @/e9W[vtt)@3Vq&.?@FOm]l'\q#=503k"3ҁ>uʬ9v+6UF ŋm,jeʌp`θˊr-7GvpdΨdkǷ'ZՕ[D>[4Dx)\x>DO3翡 igdr?8 z&{xhlƒ\khCkɂYA6pX-V,¶ ɾ:%wˈ 閟_ĉ\e6_ۼTB,?)@RSngU8dE2@XFrNɩB7>!}wKT,cӵVt5N7e(DIkSs;.+s%U xTƆQ9ӓ;Bgu-@ N o=΄TS]^ .i"l?y>/Mn? };h \&XiB a1 ?1V%d5O9/*'Q~ xzClsObP[Yԯ>'Fy!CJT([;.c 7 y#uEB nH V=xڴhY*K\30@N 6pړزvG}[& Rmbzz-H҉gYZ7zXZִF! i7]ŗXiɟrvp(z[dnz\=%B4Zr߱%;UѸQS;!iخKu΂!/Tt.gOm*-vCؾ&Ŀx/DY?*n1T]09.N?dΒBi/$pl؍pe̬ _1 m WoV>Ŋ"KQaN֗CO2{UX9 .O@)Z_ڃd|0v'56-bgYZ7zXZִF! ]ŗXi%;Z5KĜ@C3eH0@ӧo}doF)dX]N `1O q+_.m5 TߕFP{2ҷ37/4Ihod.fgIfI4Ct!}Wν#NfI h) ,+{WJ@D1aF+F]$WrQKecc`''P\p KpB4Dk 6t1 h'pB$n\V;Xz'ݥVr}i_['f'~˸+CmǼ86a"L,*` Wf1]i;D^61dA$,2@90ɕvfPlQy4IUUJ cmw3YiL2|^YBSy6(-F3pU "z}#vx>it3 :*̍>Ϫ$(@?VPUڿ9qNɈ|Ы$gmr+|cu o}OXD0&ŵ)͹C(C, Q`O@VÒ$^v-M"ba#="0Gd\1E8,gFLœddVd)"S]O g3 cZ֤,דYOA^$V0inw J^{.G&RLr_s3+bwfᵔft,t;GBQa87(kjgMh]$[+yIrZ6Ԥ 5 Amortized_Complexity&ul_|#IBiq ,yDwto*l>x(pq>[ dO rbwwDtx)NTьٔHA:Hv iAݛgjsO}Xy0bZ藂%xt?&fF#*;B:%=:|%@ǏxLqD ' ^K:C '~Oj>g~h;`òEӸ<g DK;8(Z*cDjbe#i7.Hxʾ*R2wSO]lV?0p?D v?N<[/&fcs!ɛeZOEAuR\;y2]vn5 Nzf|AZ3_Oʔ7G ҃_MG]VrO-&xO9be۸Uq څOG%ʨIE#hbmȗ+Z.!sDEh4PR9t<;yDdmM!dt'yve }}{gT>LO$>N+-9DP'n_- I5EjJç擝nu \-(D 'sk LtrڵB {ޥrm#n f1ޓciL S>>5fG?6_m8Gۉhb{uaާؖdTK0,FU&5I>D\u΅QyEϒLoYUaA0GPhAd ~s^emӛunŸd^ilI6(Wmr+D{vS ]GԴ\| GREsʾ)`Ԝ\vif Xi;mCكQy^ _Yz Q$^M\qxE##Ĕ|f.2:ϴNϧ 2؇l"3ٙ|_`~w΋#TؚJٯʲNBnɨc^T z)])wkʖ0iEv Z `!/s#Rl4aK< + 3) SEHDDi%s D7sX*pje= a%Ҵ WEMЄ&X9HQ[]t?;bZ))wb{pwأd4oof*0dآ`Ʒ 6mH(yHlD"Ū,Ӭ7+f|x2撂hJr9&_SBi6Lyu-7 4||cWS~3SYnu%t-k]2 /Z*"hv^C[E]xT]WZlubvDFqHtպ!ZsO.7"SWlgzcvwwA'+ՌIJES3鿆>ΠlB%<ǓDy+[8mToY8hʏ~Ϝr2 'q+ppu%:Rg/ZcDH; S> @DCWR R]~4]E㏇H+ pH֕Fqk rKpkc[\ZD-) +K2FC}.(`ŊZK=-vw+ڏͧMG$LW(ڤc"Pm%Γ1BCz1i4+pOnRz Xe u|P/?<ܖÍ_H,9B* 5k֘<rd9d.⦺xp{xi`=3v8[q"pIGԊp&nK\Ē`G9c>V%bs L~fb}!7E ]`&=,ڙN?x:{`8 !:օVIWIA6r#`1{P-4$ c dFJ>e]vYFyȣ?q?%pE"bX7q/{:Ҕ6UK6FF.+N,\\%+MqI<NS*}!Pc*lAw$ccߌmў$H+C9rJ% SPY&mv;TXfu9O~n^m4UyW;Yb7l:ɦTНIr6B