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 jjL y/ AWN:threads=2elapsed=94.749cpu=181.932gc=6.728factor=1.927zXZִF! Q$]ŗXf1-/6vRZ\fV9_y3yKvI=>}tIY{2ع 6TxQ~Q; *W愠07ptrKetbPgicݑ.vfKQ4h Xh횺#ʹrЅx^+F(3kXr6i2dW4 VkJR]AY܎Tau8Ae:2,R]8߾!F s~3^ Uiuou1ܘvQٌSgf6ؾ 8⚸4TőJVXlC* mYYCf`ǬO;H{NX]6'\e)`0}h=n%_r_)G1E+YtZ+'2O9b\uIWap ,q cJ8ķ}ruUR0Nlӌ5-tp]^DbP9=蒳TO̕sC F{s1E}5g {nU$ d֑Es {'*jZ骭LQ!=Eb Tجv_^f o)5ꝧAK>7"|B=11Eh<)2)ϤqVUN; c{ bgkc0 TrfE)΅cbSdIX-. }V0WUHTnc(׿Y1ZGmp$`tg#7`;RFee(bBɦ(C<}=~;ksMc2ڼϞ.`DtD״1 Qa ><d3>KKR0eO$ X\ lm2Y㕷GwWį/MpT/Kheu ZL:hCm(2dHo y%43qp_}CkYFano#A2sj/Ao14g^-@d|BIou`cD28VԀ&_+- H7%Q|0ej cOgBw!֫>La欄"u"ֻ IdGG/0Q?kt83{VM2ML`T͟mr = U寞Z$-A" Z&IR*e^ɉHܯbOvg0gz N]9 g)bۖ 7͏ V *Bl,bs/mŔ8^`Co 8NF[)"7oW\&yd@i,)ORT}#Bj=Ϧ=Ay |kGovb/:  AWN_Fƒ ': *zaY?m 㡓h])kqieH Is&VQ&`꺒 R[=&DLe_>׏9GGh+PYOd3_7)g}Khm44 W)7?m,;Ao@d4y̨2\8V)=K![ [-FyQ3<kzO ?V~Ė{B>Hf} Jv{cf.f)x?Q٘tmBfTm2ƆZJzpFv \[^_Xi+seK&y30EՁડrJܻ҅٥[%@tCꂍ}S( . nE%I괆|nN Gb>1.,ԓۍSێ![/Z(Ѻ XOYcgkՕ,f:&iH %fvE<ǛXKW-c';(fS@y_+v_BQXw 3-[1igV豔 ?<2ƹ_+/y&F4%\b8)V]tI&Z׃OWL^9:]+Zx߇},ƱOmm [V@ j-k_e, ||9Z0q<{ ^S2As P( Q( VL-/ -D+mEN+~y&u Y^-2pRQm2J]D,L;LhKTVSa>wwuf qKPvUul@f$TX)lWW#׫, _c04ga@X[]ҮaEQVk. ŁW#Zi5kJ9Ju'b74#>-źpf+7fߠqSP+ Ejǝآ*?ѴPoz5 ĩ,PqV= )hcUyb4FuB 0Å8W}l8Fg&,t1%UpPfd ށ$U%fg4DAk/kp$ Xߒ%ED PĨ6̙b?Pc2 :tE|lu4&+ߢ v:+gX7#ua i~@Sxj19Idźiv={Z 51;(ϘP-XŔS!xQ$Qr 𪉺]U pz/2A%胦B-cmILߺ39cX\:YMAijKөGW8<˫RǍœEϯOJ2HLJCtE5tNծAP= {7]DEH^!cZ@ _ V x?ȥ0e{Cko`E=>qS&/[ wUs.*f SCcƈy«1,jsdV,ZYObz)ӣFG>hm4Кż+eYRQӪ08D0QILQrޑGρ6>Õne PFtYVbJ|u|Z}a^gRf? Bar$i++Uݎl) 0*IZYZN^دfZv C4e=āؒ<)9ݽ w8@!тWR '_Iby34PZSL⿵AMMq ݯuWsj!h0Ir Q,m;ezL[~kI4,bOhqzkArn,(=Ai|+ALe[sF43vbW}XlcDU[ I<L`vԮ(րn W YD1 x,XIvi®W q[ڧJt(f:B՞jv?)8 VbbGՄgZzxSZʑqL4Z{E4cHu-r~@ٯ3aϔp mD N<1I8h"φVzx^l)b&p[՘Rwj\ݰ,c 9mG/P5$ #M]y2>h2n~$$ڦ%s?2!Qn[1fGWӓ1㗾^Kf)n<{>]F$}Nհ=P93F2bCb@Do|lXr%nos/mVX&`*Oa&2SQWu?O>zE0&Im˚]Mg*;C4ޙKsn5]oq%+Zl'- 4v )W#4|K̡:$5wBV;r?,χ6@*9a:!0PaJKLY]=&*o`FJ;_1X*Dx\Q[*^5d>VcI/2sCP,& 23p 2NyÃ`TAKEҾ!ua+I gN[a6it|BW1<3rnpA CB v`L{@eUUK(X*Ksuo@Bic,Y`(VyxPq\ 71 ٭۸:X&{.rFݖ958 DRhMLh'LOͱ (uO:G „c@MrlknEB1 ~өh\jڥ+ Pdai-"Cz%1^_n~Z}֊0 żL aQ;ش7\vye,q7viU92wfE`v{#Vw6qVmzTavjhY_N =n=-!A4)8519m 3sn{b%Κk_[zTt3Fts`o8R2uJ=<B,(E?$J ~x>޼-fISQ,(X|Խc/eɡ|NnGw@NMG<< Ru;9ԛпSU~xy2mZRb[:PEr4m:ͧ9n.Gd ƅ3#uokio.v< Q@tZTm ZFRK΀?(⤥ ˎ[Sw'0c@' JLxI!*}3諰#E4 se[jSV\,"#~YUZ2YD_8KOvK$:`r^Ӹv(U+9kvd€&szĬ8"Ν%23@|rGltZncS4ڝ8qQx}` r>㤄+$Qem0t&_E&6WRRWg8вgYZ7zXZִF! Ȗ^]ŗXi% OUy|^܏XzZ•d`"E:ij=/H߯nW<2fMs:[0LzQ@I}ŝM&ZO=w@\)Тz{W&n)I6󂆖VR#*.fi =+e:C@thbڳks $X U-x)s߲[%J]>#N0稔 a{:.`a6Yc~S :+jwi!$< d&CHmcgEQ/^bs \SI9KQ s+(7? u+8q:h+[>(.=ZCL ̿Ϳ$ JN}˗<Floe k4#dz@=#("w"S^aWE415wmdosgdc nMNw[#% nf}(:Ř^-'ܭn8GK}yBʴ05NOV.&TcEg4m2ET0.ͮ7_*Ѹ47/Ɛf@eJj|.,\Jͨ i'8ё_<-V ¡ќ\3XN q6%#_)P<{MyAM vDYꬹ Z谸j5>j\рzF $ } ]C q&Bw b%z1Q-~sMD#gp2QSHYRX'q1b>zwSQnEZwrɤ0:e5ZOBzlr-KZ@cL {$\IQdtT|[ɉQpv Z֦|lOE{-U^K1 C"A#?!N޿p%4vcǿ 2 WQ(Z}yDePqeո3:zMՎ( 69̰eK;(HFk-ET+2hFoWX?Tt#ϝܾ=ćMX`svȼ6(r_?ūvTU*lr>jG+@赪T1]VUG"Yk-޴ 8⁷ ˟ (x[{Ty&53| h-G%9e>&E;5COK5n45LV\Ҷ IjdMܒ\e:gPHJR/hb"lֆ/Tw*I:nId23|" 1^P1)5*j&4*J, ^~VɮI UM"aQw>V<;­gz>kX":z# @@4jZE2!U>n|T Z!VR{?(Z$Y7&tLm<Z=ex\`7Cpы@Q(b!ںKci{_&n,lpֽzqx-o!tGL!-(fv`}5 9&Z9"uP: ] :p I/x*(N> ]fKܤ͝ `䄦qBTshJ|X`л`I. ˴y̏Gv~D#W3(J~סNFR9}AUٗ I a0ᕽQDBZ Ц1Km `|eyNEyg?;A3?xҵCf2-,ltC=? m6)%RtvOetFN0Z 1 JvQ5"1՗fױ1ŭf\>DGy@М;7R#*p)r1sH{OLHɯ0dvJiNLfeQU"L"L|ޑ.-loDyWX:_sABxѷz$.i_ ͵U7.U95} 1yA|wzs^UƟ5WE?V>j&vD<7ksD'R{'jX#K}`zyr)L`UB>WO7OjدG:S|)p%!R%pL0=+ r]l-7?XܾVLBzHvk!BSJD/KQg\6s kE{.wE/+Iv(5ZtZ\rlD}tz ! ;P~vAy_J6-i/2xODV93H|&ဆORʥ|ʫy G^j^8QPNDHx+Ѩ`>ӁUN4NT_IyO6?҄03ĵ>hl.d"یf`۝SfDH?_Tŋ' gK?4saE9PٚXR ƻ 5^.Qݓ"j(S 8bB7p,v 632 p.ʰS.8f:I_bd#I69g Y ^V”G Z6/NJ[ [ʉKRs:ocMh$\[{PQCo3OV;l\F%^kH؜m'UufIL݀%WlxNQY4$#a7~Oaf%*H48_wTkuY8ođ_J/QN¥^qwg%H s؜w@Pj.&.hUBG zS|hAVTdX**F jHyވH zvLLi yoh \wbTמ-ekm;5̄#[c%+yZg>UGM&lEߊ,GweZ&#>nNo-(g Gi"o" 9"W~lV0Sƿj/Am^nAgp Aӊo#,:u+#Q SC"%6rG;VѢ 2Db SӢyPrika*-xe5?Ź zGl M)Qw.`N<]8ImÄ\՘}>Os3Ǩc&Fȑ]oܪ:d|@+xR*<+C0Q^񜆌/1nBcԹ @ӱ V6ާA= n94M