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 S+\ / Paraconsistency:threads=2elapsed=160.591cpu=315.208gc=3.308factor=1.967zXZִF! ;_e]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͋R.5lY #>Q Rjz{簲)#JKqhaˆʻX'ehFS #6L4!H8}>^<'#6;Zb⪋͆ՠߗrU#kݺE#+s˾QX+4) Fm,>bXRB\lLrgE?cgWKwצO|MO-3pYjUrrWعk R]bj bm2Yg꿠O&Akr~ 9% 3g?hvͩ:IX#RRs~ KPY{Y):\ƗuRk€yT/z~K{2)r#Ύ ^5jnA/9%t@0i|ҮJ8MeuXE682G8D2Ku2yw+%].8An*$a7tV[1Clv;K_k\aLYm8\ϖP(ow-!h%#{ϟݴR۫2vtAr ~S\$X-C2<zg "dN?$YFV}k_UB:;yz:W30gE.pr<)K:`0}lPgF MQ`wcJ&1i00sZø~U2L 4j5u_jMa0Vx#5q[[l# ?aT\#R+j͙&P鼌89w#)Ţu'#0n-seWD"dș1Tdݒ.+'J}Af-gbd]P0Tdukk~QوTq{6hmV-n(YD.B4*p̬{ptǪ91BduBS x\eK˰,tP -[bgx 3;G.Wj >,nB9^@*Bg Gs'4J;edȿfc/ft1Ն~1.CR?uI0jtG&e߾vO]fxj鉍ze~}Of-"= m`fS 1α歁wڼ_4xo.CJ tsPc3\ʼnP\饈F݅64ԣY`̀, ~zԴ䯢X;dy?&㜭ÍǬ*@,&È!5 enV_#f$TF4,TjMR-Ql=RDk+\'0UိerhZ[FH$dS)IMwh\R^ѹf'GTDd.i1zuU<;0T-k7 Gn}pgnn"J!s:smGG44aynuAPv˚*9:Ǹd e4=؆_UF\  @Iȝn 47ﺥ1^3K |3j;0L Z Q}[[0m7a#\u2UЋbŇr3Y^?DړEys#4Yw%fja=zҪ[8Pm ,S6%0JW(y gᅏ/M$<vWFd(B=>eiwE9s' Z&;9}#"qF^=Rq.M72}Rz{s'21پto]7٧|fM\ .$F4S^C&-8FgU~}x۲6vl>" ~B&D} 亦 Wf(ly5A)@%fv"Ev7om u#[[DIPZlKqs | N_TU4pF:9uVUݬ',HAb ̪m%W_Plɼj%~b̃I2"ds/zKo"IճwVto lJ:H)++I‹\iҵl Bp@J1ސdbl$UtC(%730̜Ӡ@*èůЭ^^B kd;㭽DI*}pa+,Z!C>|]܄A1@ &/!l*X)Cq&BНTd=-7Sd\..3-6^ &s\M<ӷ-U[8,%u #}?&K\ #r12P$oq8Qx&zPHᠩ1Wc qה/cߚH r*[V"uR3-F 7j0wh* T%|`}%-_ճI߯Lo[L~q/Bz2;h%œF$!| ۗ~/,QhQnĔzἶy@&8cG}uw5eіzPV\9 $r"Dqq>Sy{Ӫ ÛzxI9-E]i_2mLx>OMd wU+q|Ɗ3jG[K>dwU;PvGF8W&ƿݔu\Ɩͯaa=Ap3jB;m;VmR Vxt%By<|KuU"xXߋkb?RKU*(ݵ8/T&RR$y=kdCňevV["[j]qT @Y9NR>#g ` <ɣo1SZ)"X"UxG-<#Oq w`^zDyl~]Θ  ~Vοsm}nZxЃъI C'ˈ3`rs"Gs\},q&M& /ÅM}*ݯ^E ?nL{ajN yy0bPj"ar݀|}jYNf[&l1<x9Ta=ț! [}X3ȞpHz@?oȌܱ41kW6Rx@Ɗ5/Hs($̑+]"-ߞc/X4O"cpNd!v{ZEt̾\=N~t*Z=Za6<Tog-ӽoKr1&O?v\ ,I шn֩= {,r}2O-BvuXFkqo c2Rܿ[\KT+XsXS\b3tNij(ħps}Gr!8J}]M.6a QډUPH,w 10ux;E %1% ,B8K07@@UfĪ 46 Y TVNBg˜!Ysc]BU!l\a8NS|͖=ӌtrc3@u+:'vzWL< ~=gxj~s$:~{5?D2#\J |ݿ fET5흦8v:XX7#fmӖWcyB-ʈvuAX lH׶L)6ͼM"/nQ8DaM|8D,-H,\|"5bCwu ŋ:ǹ_Ƣ$DNYVOkg$.RPQayn;yn>N_ר ÊlY6"^Q[?sMu cC"Z?eJsAc[K 11+s.o6]PP>6%hEX)b8{9JiN#hG#旘iz %Ox= ւFH֗ aA"J|ZkF#CS~N3#J֣q%wN"'>CGNŖ2EX_{ jC:KPEŅ nE5uA{I}'T3Xm{@^G "Q_?/?0,p@̇@)o[}9Y~@Ep|m=)D4"Aoh3'9lԄKd?t?:c@ŗ(JRAV8VGo?M37>;NL!rm׀f1FcM C8g1%1B.-)%C"佁C#Rp[