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 **/? \\  Program-Conflict-Analysis:threads=2elapsed=58.991cpu=84.416gc=2.608factor=1.437zXZִF! ]ŗXf1-/6vR[3 G-y?%9POHa: ~J  ? Program-Conflict-AnalysisS<'`+CU֋RCDTqk;N1T$~P4soGrIZ gNyJTL(B%D̃ MENد@n'`o&t(Ecfzc`|k:];2@)}z)V;l-w}"tD_FADXCE38sM~Nb]1ڃ=3!΃+(\^w.`"L/oB{ S2bt`8Dwa'8UVp*$6`qxP_U pIޛh ܰuˇ'<LnɷnnWJjˮDa<v en"KUf5TdOMĴ)ERNDq ,-If=8'd*FαYhwƁ|mJEZjqA1o<_aY{4\`~>ۣ%-Xd {ܛ&;[g`IEZuǃ pWEFLd;XRH!CԣG]\_I٪̧oAiICəlًڙGBϺ1Q !C;KnrP9}3ʴ3}Jk=Wdx~I{ %6aR7$6քQ١F1PZFE TyͿ_@hO_I쒩?^m귏!<٥!6zܐ8t- st!lyA)D0f4r_qҝ"5{zzBboi}[CjpL%en ci<%|o>,E$Sb <#1v^NhSk]@K{tkugpi*8x|G824g(C-nEA+s'KjH[+xRW:[@v? ?3M4F&߆C%N\}<>C î/zCܗ 4dbudc ; }ơ{X47FOEY m? CU)FXatP5\B2@ieȚ75C{2]ɔ- U^Zodjdeu~Yb풅lBӫ 4#]q1BFҏMRZiez1Km?tis.*=g,nBT/l谏LPM)b[v`v]J(8hPAV7K9ČulL97d`dX>e!R)O6A gN,ca2] M+پl&wr;F>@W[2|F%Sk 4 2gv0hiC˥L'T":#@2G5ҴPf?'&*ELpN%Ir!:~&R<F2< ꢙįؑ`b$rey> =LU3ρ<ptATsBE[- T _U Tx6I`4ʓB„w4@0Q[Cc! _dāfܜ8#cbfwgf^*ht v.nQܨ~vĸ;Q˂,T6g '.,\Y 4>[d@vj =]-{[՚s83#rKubbt,<#ux ByOk!Q (G6ɀ 4@Њyucr-s5!Gk8l1ZP=i Fp|yj>%* z#sn88@fvwVݴA^9Coχ;عN}f<_ n 3 @,Ev9`W9-^:'D͟蜆wT)EQ}1*xi^}*b~4E"kk\,-K8RVigffvZ!S5B0cM |/]7_Rֿ-][lz8x =&ydƉcq$slEpDΝnᠰLW.@=HkP,5|{p4J)]Wڌe6 G/{=0RGSN O'/ˊ^ >/Y1Hg V䱜,q@}b'`Opʵom1 aNn\=Xk;4#%EˇiQ .Lzuw4)R|O*Wh.75ưb#m:N2p _K`ʹ_DH:ڜ6Q;%(ՋGr:V]du0BГ2/|N`,C>@[rOC.rl;5ԑ'~(JӨ WKKSxT/F/eC%$,lx BPY5p c0Iɝ.GrD15N(v9ЮW1^XjvO9^_pItݶ 3z1/iHS 0~2`&-@{) j VhN}^>:5$Udr7:p'CFo FWvXk^d P!j kgYZ7zXZִF! $J h]ŗXi%B׆0=mP\"5`]p!fC%6MQJW@-=x6Lt'蹱i,j򕕶@#;AVP]7P:(kp̔>^bY| KpeV/E],C_D}3h+r~b?/lZ ;U%/V`~!R)喆5bEMCWє ]?aF7kp[0 b, q*aJ+?+e,ml%wQD[m5kXP!*Z_ŏ<쥫E]ܣ- B | koB&D⥜TdB-$o$^#a!/=`hB`Y1x썞dN)NKOQB˹KTuNc t^4 7q? u Lޘ@*$_ Q)B#yr9neye\Cb3Y;?nκ1Sfl(eaр) UD)>1a_?RyGnzg9*(B<)[KY#K)#IAZy]JGֺ1: IM%'/Oe"\f3Գs,#CKPuZGTq_1hKL\xO95Ѯ9>3'm$BT~(HKä0RܷMg,£g|kaW7bR `$=&2/m9٬Bb[z1P5Ƹͭ%l^ׂ6d]^Ζf{5{ӬnC>FF[VapVEi6|J]z/gZP渚R[k̝a"\}[)K3v_;+$(Ȼ{&ZK7}_5 M iL7d5o^ N4'qQ}NLmtDZxKVCT.2|j5(zZX05=:J_V>fHWxnEcE*x$FxW1:谏 ) z/4Ya!v6=#lF͛ $8砃:WHFS|RTX.1ڧ8y2;*MN|ѥ+`BHI-niA4*Lc [;72ߚO<+h_8Z-?e[ְF%5?D 0 ަQljȬIʞ΄r5k(Y]$MTp|#nHҮW7hF,i%FEwpUZ-L,ҥn bs閨UZ\~mLʤ=3onU; V7@hV^z_BeH4 Hb|l݈|킳ޱ>aZJǵoGXq'qTkԁG %FHo`JdaK1}z"oaݐC$ռ\l<ȤC*&>fh"=sCZx-`E{9:riQ[R/8ї.2R d}[qHưYYu.\#*`k9]&d?3YwT3kǭHmfΑTHlE.召-V_K =E|H"J!tϬVG]#&uiOfvIҊKYe}榡NV wC8 .,+30%N\ĂhUt#3'b^]3k=sVxԆSithDZ-]"c'.]41{{ Ѭ|ɸ5xSt,X 9U&A8=E ,PF˒{Y6S"3sAqһePّ"Xŗ :2Փ5];Jn;¹߼5Kܽ&HD͟R^zF}l+H$bR!2~i JԘҍaXכmcuw%ߐp{xcq}iHloJ*˰ T3ԪUngz8gIOchF=݇?`j8=17w,)S#LaNd-]>]qgYZ020bef6fdc9d9841987773162281fa8858e75716 31e4563de4b192be88e0135105e1bfcde94ef5e1 33e46e68cfa5f5ced44ff0dfb82522c6a302827e 41d367a2a17ef839488cd0e7b6f5e2456205baea 4daf0bd4692bb5817d7a2391e9d252fd173637f9 56228ccf170545e05b7684ece956ccc14be5d4a3 608f6e593f5561870ef3a8aea409a6a7134899ed 8175f1994d40efa61f26f0193bec7083fae8ed52 90f70e79f933c9d69e5eb9a80ea07033fb36d9e3 b58bec6271d278427bdee6aef2eed0a1d5fd6d8b c3c4ece7675d8c208e751ca95be74f3a4d1e400f c44ba95461395002a88884b51f6e19f6a7571080 cf21bcca54322e516d177f2248f9d2cb6afa14ca d3fdfea6e6af8236274127ca9aea3b49f828163ed7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9