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=15.513cpu=28.852gc=1.060factor=1.867zXZִF! + Euler_Partition \ 7]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*~e6PJ32b^qW,,iS1Һi?"AA$A`R l%& x5aNqFn&.Bܒ?Hb^V}KkB;$l|'_q=JX_)YR7j>Eu魥y+p i1" hiMEb0ma郼E^A=[E5t p\@1OlTߵA.ޢ

2іkC68}WvZCZJ[QǸekxz"3tƣ A۽dg! 1 E-qꮆ)I0:0ߛL,vFNE4YoX218O`ogP̈́<q B{rc|V_nqzN$ ;7L4iD'b\ 0e@TǸLyUZof~TY\Er \O`#ccn_N'6_u?tilqB)6#~a3%wbBP"oc!d&D{XjZ*8Τ\jfw4NqS"3 r`ȥ!DN֌kRM[b؁,#,A$t+Zm" kJ,oA}eBʀ˳\Aк@Mo-O RAD炷?񪙑 iX?H+~%W+}qDj֜)1Gxм+s{2$ 5ʩd9fҩnqa=W.NÎh҅U' 9͛/E-9CcƧwbpp)1IQ~ 6rd:9%̠BimGo7Xy[8*4 G)iD2=#Z.p; F4oL 9S͗Nwi.d(X?fje> 9 #:jw{@"' c5D:"Mɑǎy:بAh ǡTPr[}̻U2RUEbe5zv\B/H odO^=r*p*i:I⽌`:zu+lގt}ySA6r!ݍA\\Y > DT.Ɓ.ۼ8Ls,+ɖ@mF n> 3^ND=l;=j``!-Pv7 4wdo5U'iww+pLwmo7sB '`D$tQ(y)=F"4ѤָY7X2RxuU&.WZ]1@q Izs{ V&5{ H,|>,.s׮ @2h CGr ! ;K.IO%H2Qy3D]CpG2@ _3 E-5o|-zmC_VCڱ9k;W)@)R>Oww^XGJjم5E%lD@zNlt3YC ꞟzb ygYZ7zXZִF! V ]ŗXi%S:G} Ґr QL Ʃ-S $>b"MFk=LLKKS`@Shipkмv?Y 8M}Ѵ _+^b67[v.RL]eۈ =+-yn9xXcZto7$7[dM>o`\c7“ӂ|yh<~BZʳ'e\ @J}2Y ˺̹zme B&9A \zV k 5\Qm0XVC8*'JoKUЄG:RXk-4Q˺ "ŻntSΐʦ &_6M\:0JiX&=:*A8bhIzUW24~Y{_Sr R;d|[#`ӽv< N}^ *+ OZІ\ϲo簁ƕ6> qOPz<~<xHS\nrx~nfi '/hmW8-:6+{95arp]FyI8 ]Fm)ˢ4k5>S^71%,uL{E/v]CؗeMoHi s+>j Al=)`*JyIXSP&'s(DYCq %EsN#1'9( Jb =jWE8 Ʀvۧ@yg+mw(~Q{x nDŏmQ*qgoLS }& AC x Yw+ 3Ѳ)ُDOy־ 7Ox7з<#ZƼL}۪* TrifBՕ E=A7C(Ӥj0٣3;hؼTBad)m)P0 ,Ջ: qJ>LD3ᑦsrS;l3"*ȡ;v%s4c6ڇR0YFME%+tˆʁ݆z} }D&ZO:W x[r.Qs_?Mlɮ4ڝg(fg{-'$mRSwNAU=V0>"F΍ط]֚`z9/5n ֭U gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 4dc5dcbb173c1d4a56ace0685a339a50db42973f 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 7cf1c769e4f1a3e54e1d46954347a607f874d284 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c ddf7f141cbe49f6438d63bc3fca2b36b516a85ae80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4