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 9 T c/ Card_Number_Partitions:threads=2elapsed=14.265cpu=26.944gc=0.972factor=1.897zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-Ie1Z{׫}ҏD{-E;o)A0ȕL7Z !B3\K^}̢R6ԉi)EZd̏qw` 5ROd IW ClC?C+br/y='͵DDga[ /ؚ ["qk TYcA#S.oAe1s i(\KOLS&Z֮<6%޵[r!\b{"Z ham h6+s o"D3(HXʅnRNKrZ!@@o;B4]C Y_*#Au~[8&0nQOXۖK`eQĴtWQNlt{R,v;SA9텵gݪ+̅ (iXƞ7goK,P]gTC&;ы+Ywmq̯Phi 9 Card_Number_PartitionsX~ zi=y7ACʭ ;S?UlɎuC FX_z =3V;^1Rt3yT#gq˱k X!zOpzLt8JBԃwuuT!br ٤>i"~D` 8y/;=6%a.o%PPSJW/H>_iܷ/,W{|2s:ohD*},Mz+k_ H-ac2C1 AA$Abyf&HҁQPE9%JZp~{O E=~d({NuvŪ2:|Whk/f&R뜓u @Vd6N+]$7PuDOj=8CRsyYu S1P\iGi{O S9!_ buJ/#&P'8܈6Cc-)QRfb"|Ilҧ;n賺sHK(,"-)AE K_кK/a^g+IXiA]]hT;a|W:Z,ZBU7"6ax7S;2喲ug])E.Мe 3҆ApROD7Q Eq_q4Qk>NJD<-H/a݁V&ﷄ>"R7n3g< gqkߓ;hw2j"薄ΗZP:-:k76,ܔӈJ)Յb" `CȯfF5:YTDwm|$'> I) Qq$R'JilBfY^~,?;%P_~lG6daç:8Ҟ jli*KJ 1msӔ}- E|m,dj*Q8B.$% FW_@X"h(3F W r#r R9mTjѶt?/^mxV Έ9W(ȘҼY+%PĥOl&Զ=Z<y.Sm](|iaEV? L)to n@!?E}YNdzcjY6Hy.?\u?0 qP)݌E'%YgYZ7zXZִF! R9]ŗXi% -ړJ㵫g4lQu8vH\Djj7w9jHI2o껲d1iM{rRN9q2nWـsڽZtcNFR0ɇԹB^aoh4dsP2/\Yi\oI[ jC_Q&MjK'4N9#aʀ3auySۼ{V)рt \4r53`| wbD&_چ54&'Kzܐ)DI TJ pF'S~{ 4cfvmYj%WBI:NȌ`Mm٪s"E {o-t5 re]+ֵKmz( HP IUgt,)ٲ|sj,`e$^۪DRb,,m*@*X+'cv"K^Z  Ö ;;lEQh궯Mz_`bGE_jE KaPԾƭU4 @i[I/f$Dư=E.gi&!2&Jr7C;rKsx ~ :7c޶PT1#B{g1*fanzFĭ/,rh?. R@ <(ݷ| G.b}(mV W4h⚳m[$&;u\T?Oάe&?ԆviNd&< W5׹jS,B!Y)6%4bSMEe-^?[s[&yFb%6^W>E2Si š*"̥{w +W89:G9FJ]#.t0魆os! .՛Y~]~e^buHkR&yu\E%ދ's$ BpEOyZ8:iv5Z 1 "gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 352fcd7b2fd91fb8f087b863fba8c3715e90f859 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 d960ed51846a66cf16fbdc1477880036171d60f8 db53f23c149dbea6f96962be995a01549beadaef dca6a62bf843f228c2ef7e88dbb6daefffb636c970d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9