SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 9+ dt ]/ Euler_Partition:threads=2elapsed=14.493cpu=26.328gc=1.016factor=1.827zXZִF! *]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkL&35:R? VUtyo۶FaFVsGNOT;fV=VB0^2k`ts=' Hyvh丅K6SRl'~^b}J>pWq]zsU aBVKo3/+ˤAY>qFNT׫"K`5UoG+L-O0}Op!̆e\7W9(KƸ"hg6*_+\3OvuWqJsa\Blk:E#.@#pɯոh). m_92-fI؋NSF";}nyFQ6ăaX7% "16N˓$cᖳ;C۬HIH A.^c+cB? ۈN֑қmd6D-GJA(e y8c0zȿ4?f槲@{NqOtÄ!LgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V*&)cA H=wI8Mו[Ҳz4xqUL  gkIT<&Zo?8QW- *w͑Cꄢ8VDz2/F㖲w5aޱgYZ7zXZִF! RA]ŗXi%W~|L8 w-&d֣h1SOe)^c5"9ېJ;P?#LthRϡ@ɨ[ٝ< ~,ujG,-f-Ky!*:xGTsfzW]P$vmG&P(E`SΊ*`2 `m ³C ﺤ 帷 v$ )Pm<3 ~5HO1Ts=0!-7{i2_$b>սa7d[9zF9~ I$ >xu _RUvqc[Fq\ml#߸Z3R&Qَ*(DTʾ&[m?ZiM'G䶨$T Ra<&S~cyR>eVƥ< N0oȨUsڋu6Fڜ(yjZ.ޘ@|p-3PhyFx9'mBx{`·8B`k_Ƴ g u!&%Z^vnFm-7.<"M<{s!ˋS1愙h-%"]i?|h5Kie`5;cv}6SKv69Ѓ2ktukKKkY 7̑קQ-22 ,Nt+$x=4O֜/S];wZ&SENUv\9 ۑ|}C:3<[cCkc<@*oV1Ge,('ŏי&:bp̈ -3 H'bW9ooJV/J+Z)jCCҦ/:&X?(aXgvZ&=__~ .!qyB\<'3< MthekeÇ'ԭT8׶1Rǒ r_˰`) G1΢+DV"ߚQ$j~BgmQ8砪.e4F`AA RwGpj xez\8<ՙ!P( 1}e|\T'kpks ¤gYZb926bbadbee4161f54dfabd5c7663def9f59fd24d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e + Euler_Partition