SQLite format 3@ . YYQ77Atableisabelle_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, "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 44I7 T ]/ Transitive-Closure-II:threads=2elapsed=14.689cpu=23.044gc=1.064factor=1.577zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzFrZ9.]&;Fb]" eS s+dOѨd޶eg'>R:.'/rĮU57D$S ҖqԷJJ7r"TG?4s-߁lP@*Չ!WINǃ3J5x+;6{z|y* _,-/#L6fr|()<᣿|'B%`!o% esƲfe*4|~ "x1zvΛ6 F_ L ;%Q,S3.x6+R@)O?E93>ޭs }qtjā4lPTx3z\~7pbh# "#|;]K  [n<>>XY~Eq|M`[z,gvi7]I-N!/ P[a=:bIaQl$\!:!*޽e*ryf{Px%]1Rz5PlV2gHF@V}ƛԚR|#_VZIX2RbX;tsvxJ4]7xLJ# >hSBeKߝ}Uė7p1G]0tue<>:];%cU&v>#(ח9 T)e恽Hhk(;|PݵtVw]l{+[!6&@ iTG^y5Mq%7s<&Zve],^)U(2n=f}~5u%>B_3EDvUY!'X]T~. -eDQ|$HsLH V4l+Kg;t],:x,I*Ɇ}‚Z d-|C]$@OeH7KW^Bil˲^:{ߐB= ބXJE`Ŏvw?e(½Yy4HO㤡A{ŝ~)Ev%lQ FDZQcV#9[8@i[ZSNPz GFɅ2%]=o"=^wƧ?O ЧgҮkN^J1}n/+ւrv75Wx(ߐ߻&kOly\Eţ)J3NL!'RRQ[- %4D(#Sx3t!ܗے a-gYZ06a37e3fc713b660cf51539cef54c457c970a80de003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 7 Transitive-Closure-II