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 ss<| %/ GenClock:threads=2elapsed=4.035cpu=7.400gc=0.084factor=1.837zXZִF! $]ŗXf1-/6vRZwE}%X:!:7^ er. .? SAsǞZ I: g^>yk%K/fUI|YT3ӏP3Iw'Tbs>i`b2 %Xų`^N돫V7 ׋|? 2xo=1gs>_9,fXu6ECc<"Ljmcޙs^cD#W=@Kf3?{J&HRDTBU0I/B-&~D ΅vM9݃ղc!9Oddōؙi `l%mZOZşy=[ +>"{͎!Ja\Q ~JQ1~d5y pFNRU,<7]C2YQmб6owQ'^[rΛrei '8} K4ܰqaG+Es,ɝʢ" W(s~\Ө%ĕ;"(+,AwWМm-TC齌&LPyzO!o_+$^;I["l`S1~t[yc+yһeD:BJoԲ~dXכWDZgYZ7zXZִF!    GenClockF]ŗXi%2~'1߇Zۘs?h t pAu6C b*)Dax `fwZP >2}`UaMZ5:=Mvk@9'BE΢sأ,:p [eײA=~F9B WP*ZT@'1Ҧ|k:?xZ*dI)Hbݚl[<DgYZ4ef7d654a44abde1d46de49c39e6305306e52f24 9213ee6f5cac6d71b992af5787ec0ab2f83f8546 a9c34ab35a5020d1af651bbad0cff1276d146202 aa5c3011edce68a6909f1253d65a6858e3d309bf c9ea328b5bbc0c631e41068db1ac47f4277c62983b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c