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 5+ $t %% Secondary_Sylow:threads=2elapsed=5.483cpu=10.456gc=0.344factor=1.917zXZִF! Pb]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃,FcP\d*]*2K?6ӿoG]CuVwQN4@}ƵёaqX'ѫwG>OӴ[ + Secondary_Sylow;tj&&O3V{TҺ7OKR5 oY4m!%s̢EI[1m?̜y< q924_9yc5jkRe*&+(ah~t[&%L]#,v ۷ 8>x<5~B\mԽq72O\CΙWk1 K{@W/5)s㴲9 ke( ;Sq6&3G6sGѿR`A*`Ez1,Ӵ}kʟ\4m6QڕS#'ꮔ[̰PJ,#D=myg‡b'lO:19jn㗲l­hX"/t qY([T~iKf~cZB ^Dg*Q-`BijgiTV+HI łWٹ)*"ߘ"ryHGb5R|)N_ 䧐.#b7v}%E!:;e*1ldEoTeApg¿ڻW<2 zu?Nx[?{_!8 d)ؑ Kل& ,hδ;v}';xf) =]u@7$.|T☝ <=B8Ft|* se+SޱYX<.l)EHf 4_wghB2RH`2  gYZ7zXZִF! #*]ŗXi% Q .xF*CS'M fMwwB3)O4 %edy[5⧈V2ZL|0ԙ˽>~Ss*6ܒY^ S`.A夤S,jd#;u  .|^8ڍ/ٷ|>fdK)D<-2}`8ԇoнF^o뙪e x2 ,< Ap[jF Ӭ"4A&Fdw~ʢC{th='/c?PK#DcodF5)}RDĉCV"F9SEha/ \õ01JķPu 4-]ƼxkNt!F#m~jj_jIk4}-C;BXZ~lJު41DMë$xОw$>.NSXVd'> 2Ȼj4vDMKRSOxL6inE0[1bmaI"𷲛1Y~j#2\A/牄N ^`/{