SQLite format 3@ .  YYQ77Atableisabelle_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, "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 Z# _/ LocalLexing:threads=2elapsed=98.601cpu=152.360gc=4.548factor=1.557zXZִF! M]ŗXf1-/6vRZBfߟsbq\Lʱ=#rB3P .YüԥKmzg`-00Q]nkIϼ2*P3޴HrSɃNNRŲ^VPKB},_Q~Lu&9{/X~AXDjnu"gߜb33X:Cȼ>\Y#v(2ho=9;UT}t-i1x+ޙvJyNgK"Q<38y#N&&A_^aU|P:dg3AKX*|1HǤٹzzz # LocalLexing7W$ lN \qF[fOȷ5 4`ņ Jvuq/=|s{8nmqX39ueQ}T$VQmju M ]!7}W<ɖd b}`α,%h"'Uw옥w=$ PtGQG~c!fXCZPxZƘ釴i!c1=G.Wߋi_y|gZwnEQ}XX/JU3[G|"MTKCCJE TP%'r0ۯ, thsӟGl>:hɴG;4a RH1I5KQX$g)|MKseGPSk`;z*cYЃ@ub=꟱OxpT}vaH }(- 躠w33~ N|Znw7#|4 \DQT7/@ɏB5NN?RZ;m [T3eBkęߏ]5헗R3TxOiEIzQ5BPKC@y׋{Ŭ *!|R{!lMݿ&??E4F{[^VH$ 1a8K"/d2>z+AB&3P5W+SYr9su'tvI6_ I-q@;b:^ A-X!MzOTqH23!˿ZU` rY_a]t -]ƒ`MeBHE9sA Ku*rnpXO>00o]wqs&:Fs.]0B-;F/]kG7WiW'rA=FEֈ%9ZܹP՟$2ǹf29J|L{-=YcPXhmW% 3}g]19 ڝTe}p:L$πǔx!|J}OJc$Sh&oW]U=щHLrOo AN 6b&<5\&U]|ݠa}jדW"](IK)a^DS٪ӛrU12h!NnTg-|ᘱҘs-; MgAĄm ; ,^i?55J;gYZ7zXZִF! -]ŗXi%oE`.ADl ۔9cQ.&@W ݐ!g՟ZO 0FDK8;)z6Bz󩯉P5Bg˞tJF'8HJt|kH7b[`}3$`٤;LҵOFZLÈ+,D e/3>$V 5`yO{ eSo(hyxm_4-g6.KY_vw OMfW0k6j'I/#:5 aM~5k-m>;ڤdB7Mസh ӑd8XSan͌"˷b N󊯭PQ|yJYm `qќrv6wc|ҬЪEˎBJzqf`U)*֙Pb g_j:BSQo[3?RW؛c6ܨw3ghlԠGmoNB ˣwugqq2c1Q7c ɀS۷xunn SY%}&7s ]dMӵcc< A &Q"j:T}f{McFTu#}!w#+0  IR+k"NY'+KN!n\wNE9w4ƺB"SnX o$|*c7흒roJ8X?ʒT˴?OKYxSsD eloݮNlJӤ:~%H#f842mǝe־.ZK;-WwlxSUQ, kd: UL287d}`S1-Ѳ.d(%Մ 6i5o&\$B!i߁ܭ7jqԴV; QxvVv=rW]dɷ-BC8(hn2N{g yÆR炞y9kFi$2+E\횜E4|PzZp ,!??F&WD$VM Mμdv&q -zrj:wLqhBn`HhW1#c?.x;򨬊|+ iE+q~r2eGJN0,CzcZPDzeGx'hoeYG\) ]qY%]fW\7fŠ#+;ޡTFMQ]Xd@eQh>GV豦/K_?\g]ZN@+U7;2H#R{aQm=148zJs"U]5D.GW 1-,XIL a_yvԳ9,9e)=TsYLwYղ=)3VJt=( ]Lo}~f4l 9^<Gs~IpnG:MjxIT13bW5oΝ ‰/.o[,f笋@^In *]F=xla@K ӻ<}PG\c3#CGKCR<lVzuVҰKĎ/׬HYh'@hmD ҙ9A5KI@UCR? -Ks\[L+( 1f-+ ϱ> 2kzs}z68E:v,X7[ -rXdP1uWd6[g_^9T~ XdOjJ@p?1biXxY-:/h{qVlM=T|| F@puf0\1! ּL(N$x*VArv!6SNliW p9%;HHi&)>g:ϷY"8&G)0aҬbzԘߋܣnMF*Nt@\hɧN|$T¶?Y$ 4mk3`B%֥Yplp#k`8y ɭ$v޲49fZ]k5̭cMʣΟ8y?pڑu֮R2XMI qĶ{Vg7S2{Qxq_zҞ#okj̿4X1{f]01 (5RR/_edbOU`66pYa*^_<'l sg!_ֽ hGpz3$/(2׺2a8;SSJήC n%ۿV;!i2*I kJ`ŲE2KB6mcv``[?~cP09o ?$<ΟՄta}ρ;T?M8bٻ8 א٦;L$_ ŴVd}2zIM휷2[HRŔ 8n޷H?6Psky>Xs4wTNm99# u֍[ J CB) W|D&PAM9a !aؐn!؟Eu\ݐg#&l L35U^pÙ?ӓZQfH }WDjrһy*^}k.fc7O7» (b Y;~tM (YC 55=K8ƇI K̸x} 6Z>=sE4Q_-8#2O"BLQ-,x;3Ԑ,ޛZ<ENZfK! Ϥ[sqam_ye?ӘOge :; Fc6"E4mRlb~/􊤑^SVsCX#fQ B Vm3{ZbS6x0Óɜ.Qw'& 7FdƇzpGJ7eh)!] -PT~욪o]_"Q/bB3 -^M'/C^r5 O:FV4kV!l.(ɾ .!WzQY&j󯰏HE_֠2O۩/I{A尻dtP:@8ȗݚ|m.Zdms.N| )+qޜnY#DUT0W C u8-3}V ;f5iAaX9[?@JcH 2<^wF:卶N,s ݁) d_'F5;89BXrɠz/YleL;um앆h`~Z%n Y-Z?!tEx3YCnCj&ι.[-Ehe^p)>4'> F XzيMP%2*mq~.G/x~%eڣ0u)Lp$zIe./ S#y*O:kL7)M1RJC9JU;zS1fꙑ([}]ч5)#t} q?A ,_BM,M:_sR4$bxmc ~,A忪=.ù}~i(H\㵂@G -G\S]kb bdwr0_j Ac|ar{/`Uiǰj> @P[:\-9P@T-k<ڬ 2L?)> b'YB* ܆פzn?$Ir'd՝.렃bj=^tBB!Sy