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 M $ w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.449cpu=15.092gc=0.684factor=1.607zXZִF! A]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cm݌PcJ[/نƸF -T@{yk[z*OߗSb__VTZۼ[ ;MJ>Mɀӧȹu׏[$7h:V [WS/6$+z1Y^qv Ȏ5rؕ:FEi{ U5imkzB  U? 6hkx(tR*%Zhˬ{8 wN\xܸ,453N~%.? J8_#õs>y\2I @SMൿqQԼc?DUH V#B uְTpXbkd'q\ "^GG[XPy( <(`z6Hxf۞ڐ˙|v^e޿G:K iSA dS/{p!j NgYZ7zXZִF! 88]ŗXi%UL2=Zm[ S?A@et bV9bIm4u&fοM#!/NG%"ϧ8g2dDr߈aF7tU=ד0&N5`?nc4᳂Y >;F(uh)J=sq0}M VZwOBuXgu ;`VRe󰎛