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 YY1| w% Perfect-Number-Thm:threads=2elapsed=2.050cpu=3.996gc=0.072factor=1.957zXZִF! d]ŗXf1-/6vR[2?Tš͸J3\lԮ|[ 0h|@ Sr{I2+rM96<=7[ (<5)˹Kh`"t5ESΚ3Dz&U$/4^׿ LV0"ܝOG۱oW o;d3s7ΤX8pWK2::- NI2Qթw>-}\ףGxpp @v"oHvp_o fwat!%"#o`Yz7$;lsB$a-`X=h^@fmJJUWAU.Hlrқ"c-Hؾ[ad>QrLTc%ȼXu=#_^]n_-Ӡ=Jyq*@e=<Z+ZRҊ1nx@*}#uN9B3β{&V?kvnHo< lmajqfA2@5E*HVaz)q py.1: Gx|\* qRƋK7Is&?:3!5Ѫ: fwsWE zg歂`֭\N[Yo3ƫA/6! fߜׁ~s|A &~V4hSooA~!r Ht8쫗Bv)@Ͳ{+3@\G#W _U0 9Ǩ'at vy6E"ocNca_ǔSC1;C ?ԫ{3CkLpTf!JwG&wSkȢ3p7'Oz3nO< l!"ǖl"ax(%,LgYZ1f196adfd3b19fc41a89e1d51457117f633ae853 27d8051a46e4cbb4ae267b46ab7e9fdcd227f5ce 8c932430244d46ea2ad816c2daf73dfaebf379fb 8d9c6b3af5c1016219fd0ade0c08aafafb72f469 bd8eb439b135656964c6ebf7e9830d876b05a357 f21e7152aa92e930bce35144cad8253aac433e2880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 5ad2f9166cfd8d4d2fa74648bcb36846d876bb60