SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 p9 ld w Card_Number_Partitions:threads=2elapsed=5.534cpu=11.096gc=0.172factor=2.017zXZִF! :]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}~b}ǭ@-fi"!'|WГeUnCa&h:!P;w lnyD'i_ 1G?9`_g {:ߑgJhixY&BLrq=PK"_sʻfȻ72KQ1g-̢x=Fe:,h-R.ѤZtLQƖw;DI}'SH@p ~?j2,0os7gm;B"ڜn+ְ~gUv/ZX%]KC]gqea4PEc ,B T#;_ -u(|Xٌ:L-G6BaMOIyU98taNyNA0'f2>D们#\մQ4O([;Y)=vWYlP^-T!TaVb ~z&q '鯋@ײ *Q~DO>gzGz){9v1o;*FuohG]Lcu@ f7I0͍βFF6JVCZK_weLQE;>,AҞ R,h;ק&϶^:::8kF:#}UML|G4Qf)WB*\_~@r/= X.ʢs_ =17bU*Z^ժ#4eh?\r`1d?^,idUX4 $ϙz][VBxK]}42i *4d9}6( [Fo u.dgYZ7zXZִF! %y+]ŗXi% ljK 'hx881bC c^s퀭 Wte2e/Yk{Ofc>jcg"xUTf0pgMNT|lg?C ^7lS{1ePkV B*etd*9cJ^[yzJΏƑR_Ԃ_I*$-􏽃1j}] bj' VaM'`!IQd'^hti99Pgtd!9|\+n^3ko0cYl;5A*7LQB0G4##e߇{V`q;D^^O̪TЏb00Q {S|8 ~!Wues.NCdZ~vYmViơI(i²b O <ѓ! *B+Bzi6,SH0EKl k1){E} y4)˭8TGi)tz5>IB 9]; :<\,@Ir74&Sin8t-W+|rJ}*4>y)3< v6Yr|9Ī Υ'Qv(Nc P$\IƇ?!kV̤=XwEGΟ!m-ۚT81K!/w}  zP,m\e{#J.ԱgYZ352fcd7b2fd91fb8f087b863fba8c3715e90f859 60b521d4a49442848d2f203cdf6ba7990c1b8af2 7062f6bc3330331442ee719da0d76412d11266f3 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 db53f23c149dbea6f96962be995a01549beadaef728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 9 Card_Number_Partitions