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 JJ+!t4 ]S Call_Arity:threads=2elapsed=80.488cpu=139.940gc=7.956factor=1.747zXZִF! Js]ŗXf1-/6vRZy_:8/ on6's25J=X ,rVgz:K./י2gy[eU\L ~-АrHP䪊Qp4_Ĕ:H_>p7لSY0{}exYC{?u3C@8Dޢn%NjD h.x|˼=1]ӧd;uPOlcc3b*Pa৚g\A.Wj0?kS^CGJp4nJXc_hA :N&\oQd6TM(`6 ,m ߼TGnOB/ ْoܶ9XuýIևSk@4PtJ֠2UWO_$ʀZ1v>Yȗ`&SYapӺhAK;+ʪHMa+p7WKDhy!8LK5IR_R}cWnNCض{?DB^,\_O틿˨JDҠW;e6-->q"%;캳 7]*Wu^,jJ^MmNbN7ڡ=czmˊfeb *b@OlmK%F214rKz)@7:8d!{d|[g 8~}%VTeK*DR 0Os̥,ć)rLh=6ݤAWeQ*A`-))4o},Z76m]fM*L ͼ kq= fQAq# הYbz+ |044TsG}}Y;0B[Czk*D?m4Oҡ2Vyvkp %75C*pI|;;`ycOܣ6{f4̌RZ1HC); ~ 3&FpHlgf&O-#?ҊTWa  9dGI;kqՄxX!QɷpqA4PJ(0Ȓf[~_Vc%AJ.nփQ<'+W1j03o*yYiݿq}1r͔blsN+ΰ``$ֻh%| u*T.`ӇD43,A0jtF#gthg ekRӮ./C1QNS.#ݫRNӵL~B,E)"(MMf%Z_IE$`MqorUNӐN3;zDxl3phN0Yx +s=eT|Qv}2֨ oYh(JQsTh m?@>/,BqlՖZQ%|&XC>%gYZ7zXZִF! {]ŗXiɟy4]fz#jkP.YHG1 v):PVUa2,sP:WBD ska.҄6ix"w3e l(UC&`A*ɤ?_DpZb4kk*jNZf|k#4Êը*1[mZ$X*?f= 02Z0ܹgeyY6ș&a`yZT\ACT7EQg7mJ4&#TcnMp}Ev@½`!UHV3 NǛ + $\xe2 Ч;WD% =~,\4ӫ4;dg0†{.Ӊ~B"LZ3(D\$y><5b(99\zE4*9ieFWI`6,)@*`rfyeb -+ϧJN:8:I2#kg[8p=+/wXHýT+Հ=S0"Hl};)aqS]Ԭ{ Sg NhIJ2}يA 4bhDBܭ2W9o{QBL6 2-2V+U@J#dC$Rnاך]8G-} Y=4JIzSQA;=G8in}z?7;0aL jB"3ѮL "ywuXgk wN^8yz+_ NCP00Qn1WTWLp)iOyGt抄H{*R5{K{<Hl$ՔgYZ7zXZִF! X]ŗXi%;i;i_9⯦.& p --pfqQ_ٽr#2mc*{KbSxnAkVljc:_ͻb}DžI|df(rfxiVudL^줣wj.Bңr{\SȦ#YX^77TףB[$1 o߼"μJ;yx wdfSnn?m|¹>1vr-0!Bşg`T``dO,&_5?{}b#SjCj/EvS%!"ƴ9L> U9mC#\6[ȉIA:dD-&H&Z)|Pb~p@F* ^ʃ!s @ pF*,N9kzC2C%|8M)#^=>K/z7Xܣa3E_M1l  ! Call_Arityv?Zks&NMZ,yеznw-e՟FhM1OY]Cp" &Ǎ.6aє#7eR!VHhv Ks˷}o32SPo{63|BiSQ~.(R9"%}ȗug+ѰvKP[5 x{7w l۝\tW +FNج*P%yq:cʘ\ͺ෇v3CA p9 C*'SEQp:bܧcM,&ӍwȏjaE~a() 6Ľςʎ7CФz;dNү۠yxinN{uִA0TΑZ=iqmGƸ }`.s*b5@=5.WjeP= 'uİ4^x}>1&U*^zDtuӵFwfw@Zl*uPA>wkҸVg]7 FPR ͝T8_.%kH$ YYԮGւ ԻM˔@F֧p7f.Vusԥ힞l(wMU_[{ȥ\:ujɫ6Y%odJ.cp;U\8qlK6U֭0a+$ ]aRt}Շ[Iўޛ[:wpAI'/ 9A # (HV6#i.a:ӐUDF) 8aHjL$jM&+;vcY\p_dC/7u0fHXErTx[5rׅ#It}[DŽ qlh,ʆ ffMZ,gӝQ@0v7~4]̅y4;o}A{}Bm=ezs+Ruݩwx'ycmƂ! gO"YUiPe{h 1"*YMa rRֱLuR}6xݒM@|n":czǶzWauYUgHi{>1KI?WiDWp{:lF- N@ՔW JbwEPx!UNzsH95J;_+CEQrրU9{G!UY@(Ԓ5-5_MY$aA b?5]Sۺޡ'O_34zI4eo- @1נDKH3F.:WOEKؓ:6bT9q톯@%{.c RƓC Hbp,Su}:+LӽCѓOj{XM&_5i0zߚmC 9Pbyș-^%'y<͈0Ԝ63-eT "S:'TL ,ؖoM֣O8玺@8.Qv/3*Rt޳@ bdV82a3Rv|i"8nByܮt:MU0X@V;UğM$] b$z^`# ]%=, XCV3FS r;&OnV6;) fswdF! p%V}G6RFASPbFoXDKP&Wbd1M!k:oL۲uc!/[ngj9i1 |_*%?"k0: ^ /Jl {9v(v!x 0vت 6VF=̣?CYxH|^t1!PZ6el4XyO.bl\?Mu}6DJ)NtEG|T8XX_ GsĊqӅTJJZqv_i.i=/N|=̉ ٢'QrL1`1vuS%5iЇ5 #¢KMJ%& f1a߱Fx![OXMFΟ^ݼʌ |8&PH X3x.3(c5[?ԯƣ+*KQ2C =8J44ºR[gW@k]DQk{48Jj4ϋꮟEE~QX{A{=bn SבS.: 4^vPڤ{[P`R&Į`'첁LpGVz#xyRwPIHHMv"%P73?$w3Fʪ)>l$d5 Vk~O9S?&` $coD?2?Zݛ OS6Z2îq۝ֹ(~=G4e6^c` M -9g H^W9~$pjA~ 8`*v>m,E)u}?!~d#2Xn8.]ӝTBFA7_' LTeкjtǯ)6bL>.C*]mПUK"1)#ٚHgYZ03e82e72b5e9e417bb7ae2756339121dc0291c7e273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c7c459dd06fae9df9dddca44155b9bc96ca4d8a0 fb061f22789f9a91b29a6206cf10f36da78a922d