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 ^+  c/ Euler_Partition:threads=2elapsed=14.826cpu=27.280gc=0.992factor=1.847zXZ + Euler_PartitionִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-If2-& "Nϔ+)`q#43ߜ& O+"w0@-Ǩv{lAdaU~o/@f9[S%~M_ɣF|,m'J~,?>ޫv[%t\Ijլ9vZܮoǜ%#t3[Iq7U ʚ$N'tBx} "ƄVKxXNAET ?*Y/#͠pWeB#µ.CHpv` $:Kb{2fGw7ћ@߁) xǭW9ӱڢ M0_aMrny7w:+&I[ +ڡqo. mii =-loV0SYˤђHg Cn"(#mCi~5eP1gʍgeW`Ezl\/ߕQg%c&kCj :(ݭ` gL$nܢdi5 ~p~9^te_%U=8$*oԭu%SWbcgṕĉ.Tw-Vo<`/P9Ѽː^[yy=YLft7pIx:TNL͟KKFIٛd`7` >(N\uH/ e*"#OO%π.<(spAA_aMn?hbj<moI-'*ɻ;|hto?P\ѭ3ۑ&fHg.S/}Aq1G0(B_ 0qUiҔ#B^ ߠw 4nu,V҈SKI _0kq2Rp3>|5|mu Ž$A6 y.(D:@w'/d5sR&Ԟ|Lʲg)K^1Gn0}l.t(9\ɑnG)a)dxƓʐtYXA`jͮ3=զbɷ‚֟aX9GA2,Z<5Ġ_2^7IY ^ 4b"4z'YV+Gf r[#j=sLv+OgYZ7zXZִF! T]ŗXi%B׆7.V&80I9skBVJc`h8*ȁ.H4stޫ6`S)_`R=daIm0oq4}+ V66gcqp\@g䞼֫x8ۯo#;p~/1% F%HviitlKj@R+id(!Hc%1|>7ƶjdD7$Q|%NbH`ߟJc H}_٨5Jk[+]-ҢsFyl&U) װ+#'r.; _&/𐀋?%LGh6~8{gB߁}!68g]x̻< ,;-E׬ v=zq&_vEy.C^}ֳ+\["QZsƮA5m3XߗVQ/ޥ"hR2C©v'VU2RmJ]UQ}xTKկT_`zc޳([ݏ*4ߠL&-Cbl֛ RK08o(;^Dx7"d!!bhT2eR~Vf!Hzvba)=N+}ѫ^DPg> c+wkqC}Rb9Fl!T=F>. vziDnOuA&j \Wy.ix _"i<8fiR߭ oq:hsӞ Kg?qI!u,1 y~js$vܕRw(h_z}7_꼚%y-ajS YrbJ(sV+ Ȗ_ؚg6w OgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 4dc5dcbb173c1d4a56ace0685a339a50db42973f 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 8c8cebc9909664695aa11adca7dd07d28047d2bd a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c ddf7f141cbe49f6438d63bc3fca2b36b516a85aed7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295