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 \%Lt w Pairing_Heap:threads=2elapsed=3.210cpu=6.412gc=0.392factor=2.007zXZִF! ]ŗXf1-/6vR[2F*DlIWu,|".Vbȟ_BKx0@fׇ 0@+,.~ğWfKv>f2ˤW ^GuD#Ove]FWQgɷΖ1^au i`6u}%M{׮.B8եz»A % Pairing_Heap+gYZ7zXZִF! W3]ŗXi%:4lRP/WwDݵz'2g{z#錙1LN !a 6*4@k&8F7!A#B'Ӌ^%2DO&Uz U^s ֛–8ë́r/F7\z lix'It"OA&n u^n>6y(fFEK ckf@q#\ 5qՀߓDm\B>_+U͈Gocg尰j?@jTƉ+Wѿƕ9 U~W\/ws|@q"EhDbH xutg^D| 氫9Vq|0Mt1gV) XfHJHf eʒ58n"qWڜ!f@s6leU<'E3zïnv%`|4K"hE^3a➘,[t.$XgYZ2406350fc8727bfbb9cd0b178f37f8c3eedd0690 61a7033bdef64cf3b54e604de42867c10623b594 74adc48a72fa690d8f30865a32ea28baf7ef0f9e aceb996a5b707b618f7a30886fcc2ce058098773 ce48a7876f4cb6047e48fa90db8d31d7812ebe67 fdcd07e33d850f2e31fec2b9a936a64b6fe54da9878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12