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 ss4 %/ GenClock:threads=2elapsed=4.001cpu=7.428gc=0.104factor=1.867zXZִF! &A]ŗXf1-/6vRZwE}%X:!:7^ er. .? SAsǞZ*2}AlRJmDG1bMhtiCo@$sXx/Pm52-|lMoX( 4@D$a:bղfqA8`ߟe$izUyE HZ06Ko*8jn~ <*]r8s 85/G<^+Ghr@>Y*ۏd ! 7>"f̱Uomx[N7A'6~\DjpKg|M?`xv eዽ(ˬ"^Xn^U.53 gTصxW@NS8@}z*kij,Gx\pL3UKḭ2|0%נ =v] ts@R֩r:9}Z=eъ{F BSE1#M&P6Q#j9~ Z+I)kJ6?sayTJG&WLLP@pb^&??͌wy26g/@"Houe8 ,ɻё(RQ|yȼHRg+vM*{8DMy)C],^Or t;EEުii.}򝞿mZpoz*aeÎ/ N\rՍO9Go9L "   GenClockgYZ7zXZִF! ]ŗXi%Vj@sL^+į["8ˉgjטUW[ə<$jw i3јX8ōHʦfR@?}o)x3'M-UѲWA|<-<>ҝAmeOȀ 9KH1q 2@ǿF 'O#F5 !C.RxiLbA99I~c56h8*ND"% _H .ߡ3MCU,ALttx׉if$#k9u|ۜ)uA0S Xgk1xX?hsk1x-t=zl5.H0" Cx.UX=m߈Ht ОxRj9UJ))X-Ҧ