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 % Dl %S Posix-Lexing:threads=2elapsed=16.117cpu=29.780gc=1.644factor=1.857zXZִF! ]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4pxf3|A1Gf}iVjF^JEZh:RaDi!n;ϿʹZ5:)mD&޸[-a̷ig9/[ ^6Tp+fOvm%jN5trz}3B4 R`_ DXA k8IFWZua 񏅋u)T2BF M}=3VVSIN;vYvat9CYΗF~grtLu{A=PӦmBHCnb7̊ uܣ&Zu % Posix-Lexingg*zt%|uXK]Cnס`&n"igلLXI {bu;P=Ygvc([j9eA7zh^9 :c*#V|'ȑ# f4/˼ lV\P-Ts 9_#q}ۦi:NpFrә|KJm%u j;&=ڍMEn1^+Ǹ3Ux^M[2!ׅ{7u<&e^?Э1(\O9&aq^ϯ[jDZoLO')'t^q;rPrgYZ7zXZִF! R<]ŗXi% cS6\]ϫ('("\TڟFWl}9=JH9EIOo6&/[d* O6WTOcXY՛INIϠPPwyCD\2L7J2bۅ گTeluD|7<)*3}3ZmBAx ΂m)#QVÊ\JzݠS)$][V׿_]2F,bwQ,3B]?j4"~x {*(]U I>5N,irG3Y,hZӶJ0<ۗ^Y~1'`nI^';6K %|qu+}r ZUQkIEª]G 8@͖ah*8u w?9T[BљrfG̪ -dI)-Yi5x{P$}]6DA*oP gi1{S @Ř'$]12M8M rPޖ֣E 'CɃ9Ң.h&K8JHUEAܶs<׮ќM߅ޖ/5׹RQkZ@U|GsK ,g'ehPzeW,P3AHSUk{ ;ckh>CȜK꘢mM\@#CwdRl/E\GRcj%Mz3>n˸DLob ʟ ^@v4uAݠ2&G+66w>&jEA0~@c*jtkBOq%A;S