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 }}t1 S,pR;Κ# TE܏of=vhJуҕ]4Oy%,\"B1`tc/qFӲyW1[e_0n?]*hc =QGpa?~["apl窅D;kpy3$Up9rY=mX~+h@½5[DˆZ+KM/b=TDQ}s?^HC{`냣b'& 7ȅlӻijnzdSs 1 Robbins-Conjectureq2_ FQ1#I2ŪӽY'igK+\&&ұ]Gc#= fxr̢>*c]%@ _OeU4YPČ~zYӓC1ֹ0mZ4GxU`JYS#~c8dyy-OQC"G 6a dowlVGV ߎ̰$#! Lpvf8B"DBғıos`+ <$j?:eJe.QWXxl=䙨;S E=xL3UJzw52K)8[%!=r_y絛 і{<|B@-fe=xa$2gYZ7zXZִF! RX]ŗXi%DQygEhû\2V|45 jح9]~DU(bZ5Zo]8f"TęC*`|A~C3 GlaleqK$-V7>;W[ܙTMl(h; nOVi5}N۴&N](hf5nPW!C #{eg*ԧcy$mP(l+O^o~O|x '+l SY<[Xq =U'9nwϾ0xzp0. q<[5ŃU֎hV(`ɱNsӰ#Kٖ`w۟TSFV/i])xoО")pNH ^*DEP@t=U|1Di/g )e҆uDÞlܢ'B!.&qo3z-ͥ1T|Lp,P9>hDY0"+9 ւe}3kVN7)3񓟧P]i=I\ߜZf^SNl׏ρ0+| fWC/eJs@&nNV54Nui)Cc*T_dBᦎAfs3A.X<׆~\?J?ga" ayIEZVp򇟌iFj7%\7pP o-P!@A=*julC49 *hcxy筱Zf_׼l&=>Ų5L w! 싓":ub2Z켲b %r1senźsOnN5$"A ~{Z_ m %K̈́`#6Úg+D Mo1jD q^BIK2)ٶ6˲Em%6s? '^y1`:1}?NNl;E|(_+[mQ4^g5Ci6ODL$̗M<4˟Y;ǡg"&v0C̚Gh֭8rE9)_{ !yO` T[(V߿ENn=]' ٤5j\)gYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 a1d6778ea1c69fccd623f08d8e6ef267979593657df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56