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 Q9 T$ c/ Card_Number_Partitions:threads=2elapsed=14.223cpu=26.992gc=0.992factor=1.907zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-IxV!:<@[LQ. ^ S䡛=*'gY"P%ԇr&)\X!/[^jekgs|Aȱ#/$(O gJY28V\tNcvoׯ@~ d\YWLq6<"oɄgbYiad.阼=Yf=e…`xڼ|CY0%QLiZnF$eϏ+bX`O /Jʼn0NOu8PwjظtW u@Q;{G;Lj֫CS̢f>{ܧ|t7f N#6j8wƉ3 N'+@߃2XYh+ҤSDkGFU|]:E0A΢Aȇ-lXIB-jaAllv\YӻaEx:5Ms ^kh 9 Card_Number_Partitions/z.`' KhzmŭG7&b{w5'g4nbKf?/Ġdʲ4T_sC2Kh5RCs-^2MUmrۿBʏe7n;1@YQwPJMS '#V[ "|$2)/dH=;p4#3vCTTkg $l9aQfzvV,NTg Gב%kmF/T[kqEt<7Ioj._ !Eϙ2h Ϛ-k!etI'R+]q :C9"@VU[(tt޷!ˀ-aꚲg l$0Rsf$p l3[ʷ ^uw|T/ 1nՄD*#^M& [x+U(o,Q)@"]C=ioF3e>^XVZc֘kXaZBC1QYao,/E9ӚX.)P,JnD(uﺪ>RUe1B J,sNcO -G }@Vaѩ박dK䪄&^ޖBhC4x]P\=s{DNV].y8kfli.62psb h-mz.rU!! m,Qp]fA z^BzW )`i__͠Z2YȼlTp`X S`<2^QX̻I)l@'jPSwj7Y'Mm2QTv țeQ/: ؆?XE<?ǿ=T}aBVsޥeTQJ0W.{Q ou#A]Ӽ؆RyC }z~Pu6S4Ph I/*2}_0=4Si >~t4 ?@e끎pݟ Qe U(f0C(9GA/މ E˱ZbN$Jpᮍ) yzlsp@ᤋ±6y6~3U,g7(Ł2k'+vN)X4CbD m 2r&M(,IN+q ]00e~G]šq|][Wcٚ+^1g, KB9-ZbhQVh.gC֑bpZq(|dBmp[}(;}VMz\2JC%-Hiu :uT! y#xʺOzX>a ŽX,z&BASLo,#,HvM )== % (GwbnϷe@RiS(Ε~E;>7MCsBZ(g%քrsov+-E.;MrVK:d#y6i=RsQwa6۫+0Ex'ouxr[',e{&m E6`kΟ|$XpWq)JŤ1 6< R:.[獴o2sXU7)*E ,S{ fEy !5-y+AƃV^? ӂHׂ0 L̬g ?38(&-Zw1Br{&f'xݼ Ŵ<. ,$:̊ @^5מc| p$t'8sFF'{AELN-`Ymj #g۶GI'> MxOy 4%~g t lm\0}~qҦ&#SDOJ}o6hnJR+rm?!r hgYZ7zXZִF! R; ]ŗXi%B׆Fb0[BKaLZm nkÛU)sd 2 ̋~xriiFi= Ѕ;5ekr^LNjeZPUx:#u5m0L ehj2Y2*<N[~sfQwf.:)@ӥvGw[YioZn6P9dMΨQ.*D=῱T* vYڍѰG9:*vf6蝉Tr2Ӣ,u&(H&K{j,؎6\|[ -:G &_՞p2\GX_TfwaYݼ0cjxƵ4Wl˩]~&WNݑr[Q' =bBh$4g\ɕHΨqKfr^|QS h&*(>c̍x$ތ L )f:T4(;T?̿./}XRf-5WaͻfEE,#Xg12ors5M'P'&~]8$ %JinmyX c0y2uyjs{SR.ˉ!F~V_9JkúX/Ҕr-uE']2XBGa,=,]n}Јc9h#Tϳbk9:79{ORG=(m//wѲe Epx.R jhi(:vm&fkɃ& um&LI%gܖYL{wȝn?Xɛ$_aJgݻ^CJR *e, egkbhos9c$\kZ}$bqJgë΋\7܆6hK'I+ЗbLH4-?g2*iDv`k>ǓjW՝>_y({ڷ_k{A.LvIB34(erc }ag@.V_0Mp Mp O|: [Ody%]1juwC3.f_2H?Nki .3[6n f ?pCm`u,-{њyqd8.{>xpY*4%${RJϾr p򈬌_&Up  jdgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 30396d0724e332814d381fb8e25fb347ef24da72 34221437a109a5594ba7786476b5abb5979a2647 352fcd7b2fd91fb8f087b863fba8c3715e90f859 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 db53f23c149dbea6f96962be995a01549beadaefd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295